ppxscal/embedding_network huggingface dataset:
Challenges in the Specification of Full Contracts
Authors: Gordon J. Pace, Gerardo Schneider
Venue: Proceedings of the 7th International Conference on Integrated Formal Methods (2009)

The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved using a combination of temporal and deontic concepts. In this paper we discuss the challenges in combining deontic and other relevant logics, in particular focusing on operators for choice, obligations over sequences, contrary-to-duty obligations, and how internal and external decisions may be incorporated in an action-based language for specifying contracts. We provide different viable interpretations and approaches for the development of such a sound logic and outline challenges for the future.
Modified HCCA mechanism for improving QoS support in IEEE 802.11e networks
Authors: Yeong-Sheng Chen, Yuan-Wei Lee, Guang-Horng Huang
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

Recently, QoS has become an active research topic in WLAN [2] technologies. IEEE 802.11e Medium Access Control (MAC) [3] standard proposes Hybrid Coordination Function (HCF), which is composed of HCCA (HCF Controlled Channel Access) and EDCA (Enhanced Distributed Channel Access) mechanism for QoS support. HCCA is a contention-free mechanism, and EDCA is a contention-based method. The former usually applies to the network that is managed by a coordinator. Given that most of the wireless environments belong to infrastructure networks with a coordinator, our study is focused on the discussion of HCF mechanism. In HCF mechanism, an AP can use the information of the association or reassociation frames transmitted by mobile stations to build a polling list. However, a station may not always have pending data to transmit, and therefore polling all the stations may waste time and will deteriorate the transmission performance. In this paper, we propose a modified HCCA mechanism which uses the beacon frame broadcasted by the AP to notify the STA that has pending data to transmit so as to improve the transmission performance. The simulation results show that the performance improvement of our proposed mechanism is significant for QoS support.
SafeMesh: A wireless mesh network routing protocol for incident area communications
Authors: Asad Amir Pirzada, Marius Portmann, Ryan Wishart, Jadwiga Indulska
Venue: Pervasive and Mobile Computing (2009)

Reliable broadband communication is becoming increasingly important during disaster recovery and emergency response operations. In situations where infrastructure-based communication is not available or has been disrupted, an Incident Area Network needs to be dynamically deployed, i.e. a temporary network that provides communication services for efficient crisis management at an incident site. Wireless Mesh Networks (WMNs) are multi-hop wireless networks with self-healing and self-configuring capabilities. These features, combined with the ability to provide wireless broadband connectivity at a comparably low cost, make WMNs a promising technology for incident management communications. This paper specifically focuses on hybrid WMNs, which allow both mobile client devices as well as dedicated infrastructure nodes to form the network and provide routing and forwarding functionality. Hybrid WMNs are the most generic and most flexible type of mesh networks and are ideally suited to meet the requirements of incident area communications. However, current wireless mesh and ad-hoc routing protocols do not perform well in hybrid WMN, and are not able to establish stable and high throughput communication paths. One of the key reasons for this is their inability to exploit the typical high degree of heterogeneity in hybrid WMNs. SafeMesh, the routing protocol presented in this paper, addresses the limitations of current mesh and ad-hoc routing protocols in the context of hybrid WMNs. SafeMesh is based on the well-known AODV routing protocol, and implements a number of modifications and extensions that significantly improve its performance in hybrid WMNs. This is demonstrated via an extensive set of simulation results. We further show the practicality of the protocol through a prototype implementation and provide performance results obtained from a small-scale testbed deployment.
Wetpaint: scraping through multi-layered images
Authors: Leonardo Bonanni, Xiao Xiao, Matthew Hockenberry, Praveen Subramani, Hiroshi Ishii, Maurizio Seracini, Jurgen Schulze
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

We introduce a technique for exploring multi-layered images by scraping arbitrary areas to determine meaningful relationships. Our system, called Wetpaint, uses perceptual depth cues to help users intuitively navigate between corresponding layers of an image, allowing a rapid assessment of changes and relationships between different views of the same area. Inspired by art diagnostic techniques, this tactile method could have distinct advantages in the general domain as shown by our user study. We propose that the physical metaphor of scraping facilitates the process of determining correlations between layers of an image because it compresses the process of planning, comparison and annotation into a single gesture. We discuss applications for geography, design, and medicine.
Image understanding architectures
Authors: Graham R. Nudd
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

One of the more complex processing problems facing both the military and commercial world is that of image analysis and understanding. The range of applications in which a real time computer vision system could have impact is extraordinarily large. In the military arena the need and potential benefits of a real time capability for target acquisition, autonomous guidance and image interpretation are well recognized and understood. To this end the Department of Defense is currently supporting several projects such as the DARPA Image Understanding (I.U.) Program to analyze both the processing requirements and machine organization for complex image processing and analysis. Truly autonomous systems which can perform both the imaging and processing in real-time using inexpensive and compact hardware will have significant impact in the tactical scenario for applications requiring remote sensing and analysis. (The term 'smart-sensors' has been introduced for hardware which performs both the sensing and processing in a single substrate.) In addition, an equally important impact might be made in areas such as automated production and inspection for machine assembly, etc. These two general areas are in many ways analogous and much of the hardware and software developed can be applied to both problems. Significant differences do, however, exist in terms of the signal to noise specification of the images, the required response time of the machinery, and the system constraints such as machine size and cost.
NEC V850 family a challenge for 3 phase inverters control
Authors: Constantin Patrascu, Dan Popescu
Venue: Proceedings of the 8th conference on Applied informatics and communications (2008)

3 phase inverters are used in industry, in a wide range of applications, like AC and BLDC motor control, or active power filters control. The economic constraints and new standards legislated by governments place increasingly stringent requirements on electrical systems. The new generations of equipment must have higher performance parameters such as better efficiency and reduced electromagnetic interference. To fulfill these requirements the control units of the inverters must have powerful processors which can perform enhanced algorithms to reduce torque ripples and harmonics, and to improve dynamic behavior. This paper provides, in the first part, an overview of the main control methods of inverters in an AC motor control application and in an active power filter application. The second part provides an overview of NEC V850 capabilities for inverter control including some examples.
CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises
Authors: Samir Tata, Kais Klai, Nomane Ould Ahmed M'Bareck
Venue: IEEE Transactions on Services Computing (2008)

In a context of short-term cooperation, enterprises with complementary skills are dynamically interconnected according to their needs. To deal with requirements in a such cooperation, we present in this paper CoopFlow that aims at providing a useful artifact for preservation of the privacy of workflows partners, pre-established workflows and pre-established workflow management systems. CoopFlow consists of three steps: workflow abstraction and advertisement, workflow matching and interconnection, and workflow cooperation. To preserve the privacy of partners, the first step of the approach includes an abstraction procedure allowing a partial visibility of the partners' workflows. The second step consists of interconnecting existing workflows of partners with complementary skills attributing to a matching procedure that allows checking both behaviors and business semantics of partners' workflows. Finally, the last step of CoopFlow consists of controlling the inter-enterprise workflows cooperation allowing cooperation partners to integrate the existing workflows and to check whenever they can cooperate and change their partners, which frequently leads to support spontaneous, dynamic and short-term cooperation. With this intention, we developed a platform that manages inter-operability by integrating pre-established workflow management systems. The proof of concept is provided by integrating three heterogeneous and open workflow management systems to the CoopFlow platform.
Trade-off between accuracy and interpretability: Experience-oriented fuzzy modeling via reduced-set vectors
Authors: Long Yu, Jian Xiao
Venue: Computers Mathematics with Applications (2009)

This paper focuses on accuracy and interpretability issue of fuzzy model approaches. In order to balance the trade-off between both of the aspects, a new fuzzy model based on experience-oriented learning algorithm is proposed. Firstly, support vector regression (SVR) with presented Mercer kernels is employed to generate the initial fuzzy model and the available experience on the training data. Secondly, a bottom-up simplification algorithm is introduced to generate reduced-set vectors for simplifying the structure of the initial fuzzy model, at the same time the parameters of the simplified model derived are adjusted by a hybrid learning algorithm including linear ridge regression algorithm and gradient descent method based on a new performance measure. Finally, taking the results from two-dimensional sinc function approximation and fuzzy control of the bar and beam system, the proposed fuzzy model preserves nice accuracy and interpretability.
Scalability and Route Failure Time of a Hybrid Protocol for Identification of Node-Disjoint Paths in Mobile Ad Hoc Networks
Authors: Ash Mohammad Abbas
Venue: Proceedings of the 5th International Conference on Distributed Computing and Internet Technology (2008)

Identifying a maximal set of node-disjoint paths between a given source and a destination is a challenging task in mobile ad hoc networks. In this paper, we analyze a protocol that adopts an approach that is a hybrid of the approaches taken by a protocol that tries to identify multiple node-disjoint paths in a single go and a protocol that identifies them incrementally. In our analysis, we focus on the following parameters: (i) scalability, and (ii) route failure time.
Interactive Content-Based Retrieval in Video Databases Using Fuzzy Classification and Relevance Feedback
Authors: Anastasios D. Doulamis, Yannis S. Avrithis, Nikolaos D. Doulamis, Stefanos D. Kollias
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

This paper presents an integrated framework for interactive content-based retrieval in video databases by means of visual queries. The proposed system incorporates algorithms for video shot detection, key-frame and shot selection, automated video object segmentation and tracking, and construction of multidimensional feature vectors using fuzzy classification of color, motion or texture segment properties. Retrieval is then performed in an interactive way by employing a parametric distance between feature vectors and updating distance parameters according to user requirements using relevance feedback. Experimental results demonstrate increased performance and flexibility according to user information needs.
A moving algorithm for non-uniform deployment in mobile sensor networks
Authors: Cheng-Hung Liu, Kuo-Feng Ssu
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

Previous research indicated that uniform deployment was not the most efficient way for saving energy in wireless sensor networks. The location nearer to a sink should have more sensors deployed. This paper describes a moving algorithm for achieving the non-uniform deployment (MAND). With MAND, mobile sensors can move to appropriate locations to prolong the system lifetime. With two refinements on MAND (called EMAND), not only the coverage of the network is maintained, but the lifetime can be improved enormously. Simulation results show that EMAND performs well in the environment with more sensing events.
Collins Gem Digital Video: Tips and Techniques for Great Home Movies
Authors: Colin Barrett
Venue:  (2007)

This handy little guide is essential reading for anyone wanting to understand digital video and make great home movies. Packed with tips and ideas, but small enough to fit in your pocket, it provides all the information you need to get the best results from your digital camcorder. Whether you're buying your first camcorder or updating to the latest digital technology, this compact guide is the one-stop guide to making and improving your home videos. Covers everything from understanding the features on the camcorder to composition, editing, and post-production techniques; with insights and tips from an industry insider. Contents include: understanding digital; choosing the equipment you need; exploring your camcorder's features and functions; the basics of good film-making; tips for shooting many occasions from weddings to holidays to sporting events; editing your footage and creating title sequences; adding music and sound effectsincluding how to digitize music from discs and audio cassettes; screening your moviesmaking copies, uploading, and streaming on the internet; podcasting; and DVD camcorders and the high definition future Plus, jargon-busting glossary, directory of websites, and information to take you further.
Inferring the left ventricle dynamical behavior using a free-form deformations model
Authors: Antonio Bravo, Rubén Medina, Gianfranco Passariello, Mireille Garreau
Venue: Mathematics and Computers in Simulation (2009)

A computational 4D (3D+time) model for simulating the dynamical shape of the left ventricle (LV) based on free-form deformations (FFD) techniques is described. The simulation model is useful as a teaching tool for understanding the normal left ventricle motion. The model is also useful for initializing 3D segmentation algorithms and for understanding the relation between pathologies and variation of parameters defining the ventricular function. Validation of this computational model is performed by synthesizing 4D sequences of the left ventricle, comprising the interval going from end-systole to end-diastole. From the resulting 4D shapes, several mechanical parameters such as the left ventricle volume, the radial contraction and torsion are calculated and compared with results of works previously reported based in MR-tagging images. A comparison is also performed with respect to mechanical parameters extracted from the additional time instants in the same multislice computerized tomography (MSCT) database used for extracting the LV wall surfaces required for initialization. First results show a good match between parameters compared.
Soft computing and signal processing based active fault tolerant control for benchmark process
Authors: Seda Postalc&#x0131;o&#x011f;lu, Kadir Erkan
Venue: Neural Computing and Applications (2009)

Ideally, when faults happen, the closed-loop system should be capable of maintaining its present operation. This leads to the recently studied area of fault-tolerant control (FTC). This paper addresses soft computing and signal processing based active FTC for benchmark process. Design of FTC has three levels: Level 1 comprises a traditional control loop with sensor and actuator interface and the controller. Level 2 comprises the functions of online fault detection and identification. Level 3 comprises the supervisor functionality. Online fault detection and identification has signal processing module, feature extraction module, feature cluster module and fault decision module. Wavelet analysis has been used for signal processing module. In the feature extraction module, feature vector of the sensor faults has been constructed using wavelet analysis, sliding window, absolute maximum value changing ratio and variance changing ratio as a statistical analysis. For the feature cluster module, the self-organizing map (SOM), which is a subtype of artificial neural network has been applied as a classifier of the feature vector. As a benchmark process three-tank system has been used. Control of the three-tank system is provided by fuzzy logic controller. Faults are applied to three level sensors. Sensor faults represent incorrect reading from the sensors that the system is equipped with. When a particular fault occurs in the system, a suitable control scheme has been selected on-line by supervisor functionality to maintain the closed-loop performance of the system. Active FTC has been achieved by switch mode control using fuzzy logic controller. Simulation results show that benchmark process has maintained acceptable performance with FTC for the sensor faults. As a result, when the system has sensor faults soft computing and signal processing based FTC helps for the best performance of the system.
Predictive Thermal Management for Chip Multiprocessors Using Co-designed Virtual Machines
Authors: Omer Khan, Sandip Kundu
Venue: Proceedings of the 4th International Conference on High Performance Embedded Architectures and Compilers (2008)

The sustained push for performance, transistor count, and instruction level parallelism has reached a point where chip level power density issues are at the forefront of design constraints. Many high performance computing platforms are integrating several homogeneous or heterogeneous processing cores on the same die to fit small form factors. Due to design limitations of using expensive cooling solutions, complex chip multiprocessors require an architectural solution to mitigate thermal problems. Many of the proposed systems deploy DVFS to address thermal emergencies, either within an operating system or hardware. These techniques have certain limitations in terms of response lag, scalability, cost or being reactive. In this paper, we present an alternative thermal management system to address these limitations, based on co-designed virtual machines concept. The proposed scheme delivers localized and preemptive response to thermal events, adapts well to multi-core and multi-threading environment, while delivering maximum performance under thermal stress.
There can be only one: independent animation production for the lonely
Authors: Kristen Palana, Steve Rittler
Venue: ACM SIGGRAPH ASIA 2008 courses (2008)

This beginner's course is aimed at the ambitious loner seeking to create independent animation without the luxury of a large budget or staff. Participants will learn professional production procedure and organization, geared to take their piece from concept to creation to festival submission. Topics covered will include production strategies for storyboarding, animatics and scratch-track creation, budget and scheduling, sound quality, viewing formats, editing and compositing, copyright issues, distribution and final submission to animation festivals. The emphasis will be on digital pre- and post-production concerns useful to all independent animators regardless of their chosen medium.
Energy Efficient Elliptic Curve Processor
Authors: Maurice Keller, William Marnane
Venue: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers (2009)

Elliptic curve cryptography is highly suited for implementation in resource constrained environments, however, dedicated hardware accelerators are necessary to provide the low power/energy security required in small, battery powered devices. This paper presents a low energy ASIC implementation of an elliptic curve processor which consumes minimal energy per point multiplication, thereby prolonging battery life in constrained devices. The energy/power/area trade-off is explored. In 0.13 μm CMOS technology the architecture consumes a minimum of 1.32μJ at 500 kHz using a digit size of 15 and 24.6 kgates.
A Dynamic Compiler for an Embedded Java Virtual Machine
Authors: Sami Zhioua
Venue:  (2008)

In recent years, embedded systems such as Cell phones and Personal Organizers have taken an important place in our business and private lives. A growing interest in the development of applications that can run on different sorts of devices has emerged. Java, thanks to its platform independent bytecode, becomes rapidly an obvious choice for such applications. However, as in standard systems (desktop and server), the major limit of Java in embedded systems remains its slow performance.This book discusses techniques to improve Java performance in embedded systems. It starts by a description of Java optimization techniques in standard platforms, in particular dynamic (or Just-In-Time) compilation. Then, it details Java optimization approaches specific to embedded systems. The second part of the book is a detailed illustration of the design and implementation of a very lightweight dynamic compiler upon an embedded Java virtual machine, the Kilo Virtual Machine (KVM). The improved Java virtual machine (called E-Bunny) outperformed the standard KVM by a factor of 4 (400%).
An efficient approach to map identity onto locator
Authors: Ping Dong, Hongchao Wang, Hongke Zhang
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

Today's Internet routing and addressing system is facing serious scaling problems. Once IPv6 is widely deployed, and in the absence of a scalable routing strategy, the routing scalability problem today can potentially be exacerbated by IPv6's much larger address space. Identity/locator separation scheme is being discussed as an efficient approach to solve the scalability issues. This paper proposes a candidate of the identity/locator separation schemes, and provides a corresponding mapping service. The key design concepts include separating customer networks from the core network strictly, decoupling node identities from their network locations, and bridging customer networks and the core network by a mapping service. The separating scheme can provide efficient improvements in routing scalability, while the mapping scheme is of great benefits to mobility, and multihoming. At the end of the paper, we give some evaluations.