ppxscal/embedding_network huggingface dataset:
Unsupervised Identification of Coherent Motion in Video
Authors: Luciano Silva da Silva, Jacob Scharcanski
Venue: Proceedings of the XX Brazilian Symposium on Computer Graphics and Image Processing (2007)

The identification and classification of motion patterns in point trajectories has been an important issue in understanding and representing dynamic scenes. This paper proposes an unsupervised approach to identify coherent motion in video. Instead of producing a spatio-temporal segmentation of the raw data, the proposed method analyzes point trajectories along the video sequence to identify sets of points that move coherently. This new way of extracting motion information from videos potentially can be used in different areas of image processing and computer vision.
A real-time Java virtual machine with applications in avionics
Authors: Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek
Venue: ACM Transactions on Embedded Computing Systems (TECS) (2007)

This paper reports on our experience with the implementation of the Real-time Specification for Java on the Ovm open source Java virtual machine. We describe the architecture and main design decisions involved in implementing real-time Java on Ovm. We present the first use of Real-time Java in avionics in the context of control software for a ScanEagle Unmanned Aerial Vehicle.
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
Authors: C. A. Sunshine
Venue: IEEE Transactions on Software Engineering (1982)

It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach-the state transition model-using a collection of mechanically supported specification and verification tools incorporated in a running system called AFFIRM. Although developed for the specification of abstract data types and the verification of their properties, the formalism embodied in AFFIRM can also express the concepts underlying state transition machines. Such models easily express most of the events occurring in protocol systems, including those of the users, their agent processes, and the communication channels. The paper reviews the basic concepts of state transition models and the AFFIRM formalism and methodology and describes their union. A detailed example, the alternating bit protocol, illustrates varous properties of interest for specification and verification. Other examples explored using this formalism are briefly described and the accumulated experience is discussed.
A Middleware Framework for Ambiguous Context Mediation in Smart Healthcare Application
Authors: Nirmalya Roy, Gautham Pallapa, Sajal K. Das
Venue: Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (2007)

computing and networking environments as being filled with sensors that can determine various types of contexts of its inhabitants, such as location, activity and vital signs. While such information is useful in providing context-sensitive services to the inhabitants to promote intelligent independent living, however in reality, both sensed and interpreted contexts may often be ambiguous. Thus, a challenge facing the development of realistic and deployable context-aware services is the ability to handle am- biguous contexts to prevent hazardous situations. In this paper, we propose a framework which supports efficient context-aware data fusion for healthcare applications that assume contexts could be ambiguous. Our framework provides a systematic approach to derive context fragments, and deal with context ambiguity in a probabilistic manner. We also incorporate the ability to represent contexts within the applications, and the ability to easily compose rules to mediate ambiguous contexts. Through simulation and analysis, we demonstrate the effectiveness of our proposed framework for monitoring elderly people in the smart home environment.
MPS Model-Based Software Acquisition Process Improvement in Brazil
Authors: Kival Chaves Weber, Eratostenes Edson Ramalho de Araujo, Danilo Scalet, Edmeia Leonor Pereira de Andrade, Ana Regina Cavalcanti da Rocha, Mariano Angel Montoni
Venue: Proceedings of the 6th International Conference on Quality of Information and Communications Technology (2007)

This paper describes an initiative to improve software acquisition process in Brazil. This initiative was conducted in the context of the MPS.BR Program, a nationwide effort to develop and disseminate the MPS Model both in large organizations and Small and Medium-size Enterprises (SME). The MPS Model was developed aiming to represent Brazilian software industry needs and is constituted of three main components: the MPS Reference Model; the MPS Assessment Method; and the MPS Business Model. One of the MPS Model processes is the Acquisition process for software and related services. This paper presents the main achievements of the MPS.BR Program but it is focused on the Acquisition Process described in the MPS Acquisition Guide (a stand-alone guide that constitutes one of the base elements of the MPS Model). This work also presents the customization of the MPS Acquisition process for specific purposes in the context of the Brazilian Ministry of Agriculture, Livestock and Food Supply (MAPA), including process instantiation of the customized acquisition process, aiming to improve quality of basic projects in the Information Technology Area and to assure contracting of services and products which satisfy the MAPA needs.
SQuAVisiT: A Software Quality Assessment and Visualisation Toolset
Authors: Serguei Roubtsov, Alexandru Telea, Danny Holten
Venue: Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (2007)

Software quality assessment of large COBOL industrial legacy systems, both for maintenance or migration purposes, mounts a serious challenge. We present the Software Quality Assessment and Visualisation Toolset (SQuAVisiT), which assists users in performing the above task. First, it allows a fully automatic extraction of metrics, call information, and code duplication from COBOL source code. This information, stored into a database, can be easily converted and exported to a set of visualization tools. We incorporated several such third-party tools for the visualization of call relations and system structure, and metrics visualization. These tools use novel visualization techniques such as bundled edges, matrix plots, and table lens. We illustrate the usage of our toolset with an industrial case study on a COBOL system comprising about 3000 modules and 1.7 million lines of code.
Modular and generic programming with interpreterlib
Authors: Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander
Venue: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007)

Modular monadic semantics (MMS) is a well-known technique for structuring modular denotational semantic definitions. Families of language constructs are independently defined using syntactic functors and semantic algebras that can be combined in a mix-and-match fashion to create complete language definitions. We introduce InterpreterLib, a Haskell library that implements and extends MMS techniques for writing composable analyses. In addition to modular analyses composition, InterpreterLib provides algebra combinators, explicit algebra semantics, preprocessors for boiler plate generation and generic programming techniques adapted to language analysis. The key benefits of these features are reliability, increased code reuse via modularity and the ability to rapidly retarget component analyses.
Program and evaluation planning light: planning in the real world
Authors: Justus J. Randoplh, Pasi J. Eronen
Venue: Informatics in education (2007)

Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. Additionally, there is little added value in using an elaborate and expensive program and evaluation planning procedure when programs are small or are planned to be short-lived. To meet the need for simplified models for program and evaluation planning, we describe a model that includes only what we consider to be the most essential outcomes-based program and evaluation planning steps: (a) how to create a logic model that shows how the program is causally expected to lead to outcomes, (b) how to use the logic model to identify the goals and objectives that the program is responsible for; (c) how to formulate measures, baselines, and targets from the goals and objectives; and (d) how to construct program activities that align with program targets.
Resolving differences of parameter extraction methods for integrated inductor design and model validation
Authors: Alkis A. Hatzopoulos, Stefanos Stefanou, Georges Gielen, Dominique Schreurs
Venue: Analog Integrated Circuits and Signal Processing (2007)

This work analyses different parameter extraction methods for on-chip integrated inductors and their impact on inductor design. The relationship between extracted single-ended and differential parameters is investigated through the use of theoretical network models that support the calculation equations. Experimental results from a test chip are presented and a lumped model, which adequately simulates the inductor performance with and without ground shield, is validated.
Color Sectors and Edge Features for Content-Based Image Retrieval
Authors: Taijun Li, Qiuli Wu, Jiafu Yi, Cheng Chang
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 03 (2007)

We provide a new image retrieval model which integrates the spatial distributing information of colors and the shape features. The color features are represented by an amelioration of HSV color model: color sector. To describe the relative position and orientation of objects within the image, hue edges in the image, computed using Canny approach, are processed by Hough transform to generate the spatial histogram which is used as shape representation. To address matching of image, we define two global distance measures based on the accumulative distance and vector-based distance to compare the similarity of two images. Experimental results indicate that our approach provides higher retrieval rate than that of single feature (color), is a better tradeoff between high efficiency and reasonable precision. Key words: image retrieval; retrieval model; color model; Hough transform.
Deterministic receptive processes are Kahn processes
Authors: S. A. Edwards, O. Tardieu
Venue: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design (2005)

Deterministic asynchronous concurrent formalisms are valuable because determinism greatly simplifies the design and validation of such systems and most concurrent formalisms are nondeterministic. This paper connects two of the more successful deterministic asynchronous formalisms: Kahn's dataflow networks and Josephs's deterministic receptive processes. The main result: a divergence-free deterministic receptive process is a Kahn process in that it can be modeled by a continuous function from input to output sequences, thus verifying it is compositionally deterministic. This result provides a bridge between two communities, enabling results from the asynchronous digital hardware community to be used in the context of dataflow computation and vice versa.
A 1-Dimension Structure Adaptive Self-Organizing Neural Network for QAM Signal Classification
Authors: Hanwen Cheng, Hua Han, Lenan Wu, Liang Chen
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

The 1-dimension structure adaptive self-organizing neural network (1-DSASONN) has been presented as an extended 1-dimension version of the self-organizing map, which has better performance in a modulation classification method proposed in this paper for QAM signals. 1-DSASONN can start with arbitrary number of neuron, grow or prune many neurons and adaptively adjust network structure as well as weights. This feature improves the efficiency of classification algorithm which utilizes the number of sets of equal amplitude as classification feature. Simulation results show that the modulation classification method is robust in the presence of phase estimation error.
Distributed streaming query planner in Calder system
Authors: Ying Liu, B. Plale, N. Vijayakumar
Venue: Proceedings of the High Performance Distributed Computing, 2005. HPDC-14. Proceedings. 14th IEEE International Symposium (2005)

The contribution of this work has two folds. First, we extend the current query planners' cost metric space by introducing network bandwidth cost, query deployment cost and query re-using cost; second, we develop a suite of algorithms for re-using existing query fragments under different scenarios. One of the most important reusable queries is called structure-sharable query.
Optimum detection of ultrasonic echoes applied to the analysis of the first layer of a restored dome
Authors: Luis Vergara, Ignacio Bosch, Jorge Gosálbez, Addisson Salazar
Venue: EURASIP Journal on Advances in Signal Processing (2007)

Optimum detection is applied to ultrasonic signals corrupted with significant levels of grain noise. The aim is to enhance the echoes produced by the interface between the first and second layers of a dome to obtain interface traces in echo pulse B-scan mode. This is useful information for the restorer before restoration of the dome paintings. Three optimum detectors are considered: matched filter, signal gating, and prewhitened signal gating. Assumed models and practical limitations of the three optimum detectors are considered. The results obtained in the dome analysis show that prewhitened signal gating outperforms the other two optimum detectors.
Finite-element analysis of tubular fabric beams including pressure effects and local fabric wrinkling
Authors: William G. Davids
Venue: Finite Elements in Analysis and Design (2007)

Pressurized beams made from synthetic fibers that are woven or braided into a circular cross-section are used as main load-carrying members in a variety of terrestrial and space structures. This paper focuses on the development of a Timoshenko beam finite element for the nonlinear load-deflection analysis of pressurized fabric beams, and the numerical examination of the effect of pressure on beam load-deflection behavior. The basis of the element formulation is an incremental virtual work expression that explicitly includes the work done by pressure under deformation-induced volume changes. The inability of the fabric to carry significant compressive stress is accommodated with a nonlinear moment-curvature relationship. Details of the element development and solution methodology are provided. Parametric studies that demonstrate the importance of including work done by pressure and wrinkling-induced moment-curvature nonlinearity in the formulation are described. These studies indicate that not only does beam stiffness increase with inflation pressure, but work done by pressure increases the beam bending capacity well beyond the theoretical limiting value. Further, accurate prediction of the nonlinear load-displacement response requires the inclusion of work done by pressure due to both shear and bending deformations.
Approaches to Mechanization of the Conversation Scheme Based on Monitors
Authors: K. H. Kim
Venue: IEEE Transactions on Software Engineering (1982)

A basic problem in designing error detection and backward recovery capabilities into concurrent programs is to coordinate the detection and recovery activities of cooperating processes. As an aid to such design Randell proposed a language construct called conversation in an abstract form. Practical mechanization of the conversation scheme, i.e., selection of a well-structured syntax and associated semantics, is the issue dealt with in this paper. Four different mechanizations based on the monitor approach to interprocess communication are presented. They are presented as feasible extensions of Concurrent Pascal in order to enable visualization of their full implementation details in at least one type of concurrent programming environment. They are presented in the increasing order of the amount of efforts that they require for extending Concurrent Pascal. They offer different degrees of assistance to the programmer in proper structuring of recoverable process interactions.
Fractional green function for linear time-fractional inhomogeneous partial differential equations in fluid mechanics
Authors: Shaher Momani, Zaid M. Odibat
Venue: Journal of Applied Mathematics and Computing (2007)

This paper deals with the solutions of linear inhomogeneous time-fractional partial differential equations in applied mathematics and fluid mechanics. The fractional derivatives are described in the Caputo sense. The fractional Green function method is used to obtain solutions for time-fractional wave equation, linearized time-fractional Burgers equation, and linear time-fractional KdV equation. The new approach introduces a promising tool for solving fractional partial differential equations.
Integrated Segmentation and Recognition of Mixed Chinese/English Document
Authors: Y. Xia, B.-H. Xiao, C.-H. Wang, R.-W. Dai
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 02 (2007)

This paper presents a general frame to integrate segmentation and recognition and gives a novel method to identify lingual attribute of mixed Chinese/English characters. The outstanding performance of this method is as follows. First, a text- line rather than a character segment is regarded as a process unit. Second, multi-feature is adopted based on multi-phase segmentation. Third, two types of feedbacks, including from character recognition and from character feature statistic within a text-line, are adopted throughout the whole segmentation and recognition. Fourth, it is adaptive to the quality and genre of documents.
Research of Product Styling Design Method Based On Neural Network
Authors: Jianning Su, Fenqiang Li
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 02 (2007)

Applying the frame and theory of Kansei Engineering system, the product styling design method based on neural network is presented. Firstly, the consumer's preference of kansei image is abstracted with the classifying survey and image survey. Then new samples are designed to carry out the image survey again. Thirdly, the nonlinearity evaluate model of product image is established based on neural network, whose process of back propagation will reason out the design knowledge database and evaluate new designed product . Therefore, the method will be applied to aid product styling design availably. At last, it proves the method is feasible and reasonable using the example validation and designing the applied CAD system.
Model-driven derivation of product architectures
Authors: Goetz Botterweck, Liam O'Brien, Steffen Thiel
Venue: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007)

Product Derivation is one of the central activities in Software Product Lines (SPL). One of the main challenges of the process of product derivation is dealing with complexity, which is caused by the large number of artifacts and dependencies between them. Another major challenge is maximizing development efficiency and reducing time-to-market, while at the same time producing high quality products. One approach to overcome these challenges is to automate the derivation process. To this end, this paper focuses on one particular activity of the derivation process; the derivation of the product-specific architecture and describes how this activity can be automated using a model-driven approach. The approach derives the product-specific architecture by selectively copying elements from the product-line architecture. The decision, which elements are included in the derived architecture, is based on a product-specific feature configuration. We present a prototype that implements the derivation as a model transformation described in the Atlas Transformation Language (ATL). We conclude with a short overview of related work and directions for future research
The Study on Dual Response Surface Method in MDO
Authors: Wang Wei, Fan Wenhui, Chang Tianqing, Liu Huihui
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 04 (2007)

Complex products are integrated by many subsystems through complex couplings. Most subsystems come from many different disciplines. In order to get the best solution, Multidisciplinary design optimization (MDO) is developed to improve the performance of complex products. In order to improve the product in the process of design, robust design is required to reduce the variance of quality. The method of response surface has been used in robust design for a long time. In this paper, a method of robust MDO using dual response surface method is illustrated. As an improvement of RCO, a new RCO framework is showed. Considering the applicability of system uncertainty analysis, the dual response is used to take the place of system uncertainty analysis module. The framework as well as some numerical expressions of this new method is showed. At last, the flowchart is concluded to make the guidance to implement of this method.
Restricted Checking Sequences for Sequential Machines
Authors: A. D. Friedman
Venue: IEEE Transactions on Computers (1973)

This paper shows that the imposition of some restrictions on the realization of a sequential machine facilitates the derivation of efficient checking sequences for some machines. Specifically, it is assumed that the state logic or the output logic may be faulty, but both of them cannot be faulty at the same time. This condition is satisfied if there is no shared logic between the state and output logic and at most a single fault in the circuit. It is also assumed that the normal machine has a synchronizing sequence. With these restrictions on the realization, the machine identification approach may be used to derive checking sequences that are often shorter than those without the restrictions and detect a larger set of faults than with the circuit testing approach.
Vision-based hand shape estimation is a challenging
Authors: Oliver Schreer, Seinghor Ngongang
Venue: Proceedings of the 14th International Conference on Image Analysis and Processing (2007)

Gesture recognition becomes feasible even for real-time applications and offers therefore a wide range of new capabilities for novel approaches of human computer interaction, but also for many multi-media services. In this paper, we present a real-time solution for gesture recognition applied in a novel avatar animation videocommunication service. We focus on user friendliness, robustness and easy usage. Hence, the algorithm does not require any training or adaptation to a specific user and can be applied in arbitrary unconstrained environment.