ppxscal/embedding_network huggingface dataset:
A global constraint for bin-packing with precedences: application to the assembly line balancing problem
Authors: Pierre Schaus, Yves Deville
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

Assembly line balancing problems (ALBP) are of capital importance for the industry since the first assembly line for the Ford T by Henry Ford. Their objective is to optimize the design of production lines while satisfying the various constraints. Precedence constraints among the tasks are always present in ALBP. The objective is then to place the tasks among various workstations such that the production rate is maximized. This problem can be modeled as a bin packing problem with precedence constraints (BPPC) where the bins are the workstations and the items are the tasks. Paul Shaw introduced a global constraint for bin-packing (without precedence). Unfortunately this constraint does not capture the precedence constraints of BPPC. In this paper, we first introduce redundant constraints for BPPC combining the precedences and the bin-packing, allowing to solve instances which are otherwise intractable in constraint programming. We also design a global constraint for BPPC, introducing even more pruning in the search tree. We finally used our CP model for BPPC to solve ALBP. We propose two search heuristics, and show the efficiency of our approach on standard ALBP benchmarks. Compared to standard non CP approaches, our method is more flexible as it can handle new constraints that might appear in real applications.
An Ontology-Based Method to Link Database Integration and Data Mining within a Biomedical Distributed KDD
Authors: David Perez-Rey, Victor Maojo
Venue: Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine (2009)

Over the last years, collaborative research has been continuously growing in many scientific areas such as biomedicine. However, traditional Knowledge Discovery in Databases (KDD) processes generally adopt centralized approaches that do not fully address many research needs in these distributed environments. This paper presents a method to improve traditional centralized KDD by adopting an ontology-based distributed model. Ontologies are used within this model: (i) as Virtual Schemas (VS) to solve structural heterogeneities in databases and (ii) as frameworks to guide automatic transformations when data is retrieved by users--Preprocessing Ontologies (PO). Both types of ontologies aim to facilitate data gathering and preprocessing while maintaining data source decentralization. This ontology-based approach allows to link database integration and data mining, improving final results, reusability and interoperability. The results obtained present improvements in outcome performance and new capabilities compared to traditional KDD processes.
Research on Flexible Architecture of Transportation Planning System Based on GIS-T
Authors: Liye Zhang, Tao Wei
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Modern technologies such as GIS, remote sensing technology, traffic simulation technology and intelligent transportation system are developing rapidly, which have deeply changed the traffic behaviors. In order to meet the quick changing in transportation and use the emerging new technologies, the transportation planning system should have flexible architecture. In this paper a flexible architecture of transportation planning system based on GIS-T is proposed, using the service-oriented architecture technique. First, several kinds of the widely used transportation planning software are compared. The features which the new generation transportation planning system must have are given according to the analysis results. Then, service-oriented architecture technique is involved in new generation transportation planning system architecture design and it’s applicability is also studied. The flexible architecture of transportation planning system based on GIS-T is designed based on service-oriented architecture technique. In the last part of the paper, the implementation of the system is also studied. The planning system uses XML document to process data, which is the base of the system’s interoperability.
An introduction to simple sets
Authors: Nicolas Passat, Loïc Mazo
Venue: Pattern Recognition Letters (2009)

Preserving topological properties of objects during thinning procedures is an important issue in the field of image analysis. In this context, we present an introductory study of the new notion of simple set which extends the classical notion of simple point. Similarly to simple points, simple sets have the property that the homotopy type of the object in which they lie is not changed when such sets are removed. Simple sets are studied in the framework of cubical complexes which enables, in particular, to model the topology in Z^n. The main contributions of this article are: a justification of the study of simple sets (motivated by the limitations of simple points); a definition of simple sets and of a subfamily of them called minimal simple sets; the presentation of general properties of (minimal) simple sets in n-D spaces, and of more specific properties related to ''small dimensions'' (these properties being devoted to be further involved in studies of simple sets in 2,3 and 4-D spaces).
Identification and Authentication in Large-Scale Storage Systems
Authors: Zhongying Niu, Hong Jiang, Ke Zhou, Tianming Yang, Wei Yan
Venue: Proceedings of the 2009 IEEE International Conference on Networking, Architecture, and Storage (2009)

Large-scale storage systems may service millions of clients. Effectively identifying and authenticating these clients can not only prevent illegal accesses but also eliminate unnecessary redundancies of access control. However, existing security solutions have largely ignored the identification and authentication issues or separately consider them from access control mechanisms. As a result, these solutions either have incurred a high cost of access control or led to new insurmountable problems. In this paper, we discuss the important consideration in designing an appropriate authentication scheme for large-scale storage systems. First, we discuss potential authentication techniques for large-scale storage systems. The looming crisis of PKI, a widely used technology for authentication in today's information security area is discussed and potential alternative technologies to PKI are suggested. Second, by merging authentication into access control we develop a decentralized security architecture for large-scale storage systems, designed to improve the scalability of authentication and reduce the overhead of access control. Finally, we experimentally evaluate how much overhead can be caused when various cryptographic algorithms used in an authentication protocol are applied to a large-scale storage system.
Inertial Frame Coarse Alignment for Strapdown Inertial Navigation System
Authors: Ben Yueyang, Guisheng Yin, Wei Gao, Feng Sun
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

The inertial frame coarse alignment is proposed to accomplish the coarse estimation of strapdown attitude matrix under the dynamic condition in which the disturbed acceleration and rotation velocity exist. This method utilizes the gravity integration on inertial frames to calculate strapdown attitude matrix, and the disturbed components could be counteracted during the integration process. The simulation results show that the proposed method is superior to the conventional one under the dynamic condition.
Designing for Naturally Engaging Experiences
Authors: David Browning, Marlyn Erp, Mads Bødker, Nicola Bidwell, Truna Aka Turner
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

This full day workshop explores how insights from artefacts, created during data collecting and analysis, are translated into prototypes. It is particularly concerned with getting closer to people's experience of shaping a design space. The workshop draws inspiration from data-products resulting from interactions in natural, unbuilt places with the intention of supporting both those with work integrating understandings of such experiences into design and those interested in the way material provokes ideas and inspiration for design.
Discovery and Protection of Sensitive Linkage Information for Online Social Networks Services
Authors: Nan Zhang, Min Song, Xinwen Fu, Wei Yu
Venue: Proceedings of the 4th International Conference on Wireless Algorithms, Systems, and Applications (2009)

This paper investigates the problem of suppressing access to sensitive linkage information over data published by users of an online social network service. We unveil the potential threats by inferring linkage information from the user-published data, and suggest a class of data publishing schemes to enable distributed data publication by individual users but hide the sensitive information. Our hope is that this white paper shed lights on the future investigation of privacy-preserving online social network services.
Robust Active Appearance Model Based Upon Multi-linear Analysis against Illumination Variation
Authors: Gyeong-Sic Jo, Hyeon-Joon Moon, Yong-Guk Kim
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

Independent Active Appearance Model (AAM) has been widely used in face recognition, facial expression recognition, and iris recognition because of its good performance. It can also be used in real-time system application since its fitting speed is very fast. When the difference between the input image and the base appearance of AAM is small, the fitting is smooth. However, when the difference can be large because of illumination and/or pose variation in the input image, the fitting result is unsatisfactory. In this paper, we propose a robust AAM using multi-linear analysis, which can make an Eigen-mode within the tensor algebra framework. The Eigen-mode can represent the principal axes of variation across the order of tensor and it can apply to AAM for increasing robustness. In order to construct both of original AAM and the present AAM, we employ YALE data base, which consists of 10 subjects, 9 poses, and 64 Illumination variations. The advantage of YALE data base is that we can use the coordinate of landmarks, which are marked for train-set, with ground truth. Because when the subject and the pose were same, the location of face isalso same. We present how we construct the AAM and results show that the proposed AAM outperforms the original AAM.
Color Me Right---Seamless Image Compositing
Authors: Dong Guo, Terence Sim
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

This paper introduces an approach of creating an image composite by seamlessly blending a region of interest from an image onto another while faithfully preserving the color of regions specified by user markup. With different regions marked for color-preserving, our approach provides users the flexibility in creating different composites. The experiment results demonstrate the effectiveness of the proposed approach in creating seamless image composite with color preserved.
Essence of Inconsistent Ontology and Counter Measures
Authors: Hongbin Kong, Gang Xue, Shaowen Yao
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Ontologies play a crucial role in the layered architecture of the Semantic Web. Conclusions drawn from inconsistent ontology may be completely meaningless. In this paper, we firstly analysis the occurrence of inconsistent ontology and conclude that the essence of inconsistency is polysemy and synonymy. Secondly, we find methods to deal with polysemy and synonymy. Finally, we put forward algorithm for the superposition of membership degree. The methods can be used as a foundation of inconsistency elimination as well as a basis for future research on fuzzy ontology reasoning.
Real-Time Descriptorless Feature Tracking
Authors: Antonio L. Rodríguez, Pedro E. López-De-Teruel, Alberto Ruiz
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

This paper presents a simple and efficient estimator of long-term sparse optical flow. It is supported by a novel approach to feature tracking, essentially based on global coherence of local movements. Expensive invariant appearance descriptors are not required: the locations of salient points in successive frames provide enough information to create a large number of accurate and stable tracking histories which remain alive for significantly long times. Hence, wide-baseline matching can be achieved both in extremely regular scenes and in cases in which corresponding points are photometrically very different. Our experiments show that this method is able to robustly maintain in real time hundreds of trajectories in long video sequences using a standard computer.
IEEE 754-2008 Decimal Floating-Point for Intel® Architecture Processors
Authors: Marius Cornea
Venue: Proceedings of the 2009 19th IEEE Symposium on Computer Arithmetic (2009)

A brief description is provided of the decimal floating-point support available for Intel® Architecture processors, compliant with the IEEE Standard 754-2008 for Floating-Point Arithmetic [1]. Some performance results are included. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
A symmetric view of utilities and probabilities
Authors: Yoav Shoham
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

Motivated by the need to reason about utilities, and inspired by the success of bayesian networks in representing and reasoning about probabilities, we introduce the notion of utility distributions, in which utilities have the structure of probabilities. We furthermore define the notion of a bi-distribution, a structure that includes in a symmetric fashion both a probability distribution and autility distribution. We give several examples of bi-distributions. We also show that every state space with standard probability distribution and utility function can be embedded in a bi-distribution, and provide bounds on the size requirements of this bi-distribution. Finally, we suggest a reinterpretation of the von-Neumann and Morgenstern theorem in light of this new model.
Acoustic Tomography for Detecting a Hot Spot in Grain Bulk
Authors: Hua Yan, Ke Xin Cui, Li Jun Liu, Yue Qi
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A hot spot is a localized high temperature zone in a grain bulk and normally spoilage begins in this location. Acoustic temperature tomography for detecting a hot spot in grain bulk is investigated. The region monitored is assumed to be square and divided into 400 pixels. 16 sound sources/receivers are set on its periphery. An acoustic temperature field reconstruction algorithm based on inverse multiquadrics approximation and truncated singular value decomposition is proposed. Using this algorithm, 400 temperature field models with a hot spot positioned at the midpoint of each pixel in turn have been reconstructed from exact or perturbed time-of-flight data. Reconstruction results indicate that the algorithm proposed is good at reconstructing hot spot temperature, especially at reconstructing hot spot position. Thus it is expected to be used in detecting hot spots in grain bulk.
Notes on the Jump of a Structure
Authors: Antonio Montalbán
Venue: Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice (2009)

We introduce the notions of a complete set of computably infinitary $\Pi^0_n$ relations on a structure, of the jump of a structure, and of admitting n th jump inversion.
Analysis and Optimization of Aggregation in a Reconfigurable Optical ADD/DROP Multiplexer
Authors: J. M. Fourneau, N. Izri, D. Verchère
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

We analyze the performance and optimize the design of a Reconfigurable Optical ADD and DROP Multiplexer (ROADM in the following). The analysis is based on stochastic bounds, a derivation of an extension of Pollacek formula for Batch queues and numerical analysis of discrete time Markov chains.
Formal Certification of a Resource-Aware Language Implementation
Authors: Javier Dios, Ricardo Peña
Venue: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (2009)

The paper presents the development, by using the proof assistant Isabelle/HOL, of a compiler back-end translating from a functional source language to the bytecode language of an abstract machine. The Haskell code of the compiler is extracted from the Isabelle/HOL specification and this tool is also used for proving the correctness of the implementation. The main correctness theorem not only ensures functional semantics preservation but also resource consumption preservation: the heap and stacks figures predicted by the semantics are confirmed in the translation to the abstract machine.The language and the development belong to a wider Proof Carrying Code framework in which formal compiler-generated certificates about memory consumption are sought for.
Architecture Level Energy Modeling and Optimization for Multi-Ported Giga-Hz Physical Register File
Authors: Ge Zhang, Xu Yang, Yiwei Zhang
Venue: Proceedings of the 2009 IEEE International Conference on Networking, Architecture, and Storage (2009)

In modern high performance microprocessors, multi-ported register-files are commonly used and critical in both performance and energy consumption. As capability and issue width of register-file grows, its energy consumption increases rapidly. Much prior work about energy-efficient register-file design is focusing on various low levels except for architecture level. In this paper, an accurate architectural level energy model for register-file is proposed and verified, based on which some efficient and practical improvements are presented to save energy without changing the internal circuits or structure of register-file. We implemented a full-customized 64-bit width 64-entry depth physical register-file with 8 read ports and 4 write ports, whose power is as low as 20mW, in a 1GHz 4-issue out-of-order 64-bit MIPS microprocessor, Godson-2 [1], using 90nm CMOS process. 56.0% of reading energy and 20.3% of writing energy can be saved.
A Visual Interface for on-the-fly Biological Database Integration and Workflow Design Using VizBuilder
Authors: Shahriyar Hossain, Hasan Jamil
Venue: Proceedings of the 6th International Workshop on Data Integration in the Life Sciences (2009)

Data integration plays a major role in modern Life Sciences research primarily because required resources are geographically distributed across continents and experts depend upon leveraging these digitally archived resources. The ever changing and exponentially growing digital archives pose a significant challenge for traditional data integration efforts and efficient development of data processing pipelines for scientific investigations. Thus a forceful argument can be made that in Life Sciences fast and ad hoc application design requiring data integration and workflow processing is urgently warranted. In this paper, we present a new visual application design toolkit, called VizBuilder, that can be used to design ad hoc applications at throw away costs by naive users in the Life Sciences to integrate remote databases and to design application pipelines. We leverage the recent development of BioFlow query language and LifeDB database management system that allows for such application design. We show that VizBuilder can be used as a front end query interface for LifeDB, with which robust and a wide range of applications can be developed at a very abstract and conceptual level without having to learn BioFlow. Users are able to express their application by drawing it using VizBuilder icons and connecting them in a meaningful way. Once completed, VizBuilder can compile and transform the visual application into an error-free BioFlow program to be executed in LifeDB. We present the functionality of VizBuilder using a real life application that our Life Sciences researchers have implemented and executed in LifeDB as part of their investigation.
The Potential of DSS Development in Commercial Bank Industry
Authors: Dongya Ji
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

This paper presents the potential of Decision Support Systems (DSS) development in commercial bank industry with respect to two crucial areas: credit management and cash management. It is suggested that in credit management the potential development of DSS concerns both the information compilation and pressure reduction for loan managers. In the area of cash management, the development focuses on applying the stochastic programming model to optimize decision-making under external uncertainty.
A Study on Multiformalism Modeling of Critical Infrastructures
Authors: Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola
Venue: Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers (2009)

This paper explores the possibility of using multiformalism techniques for critical infrastructure modeling and proposes a general scheme for intra and inter infrastructure models. Multiformalism approaches allow modelers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modeled. Another advantage is the possibility of reusing existing (and validated) dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies.
Route Prediction on Tracking Data to Location-Based Services
Authors: Attila István Petróczi, Csaba Gáspár-Papanek
Venue: Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop on The Internet of the Future (2009)

Wireless networks have become so widespread, it is beneficial to determine the ability of cellular networks for localization. This property enables the development of location-based services, providing useful information. These services can be improved by route prediction under the condition of using simple algorithms, because of the limited capabilities of mobile stations. This study gives alternative solutions for this problem of route prediction based on a specific graph model. Our models provide the opportunity to reach our destinations with less effort.