ppxscal/embedding_network huggingface dataset:
IDB-ADOPT: A Depth-First Search DCOP Algorithm
Authors: William Yeoh, Ariel Felner, Sven Koenig
Venue: Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers (2009)

Many agent coordination problems can be modeled as distributed constraint optimization (DCOP) problems. ADOPT is an asynchronous and distributed search algorithm that is able to solve DCOP problems optimally. In this paper, we introduce Iterative Decreasing Bound ADOPT (IDB-ADOPT), a modification of ADOPT that changes the search strategy of ADOPT from performing one best-first search to performing a series of depth-first searches. Each depth-first search is provided with a bound, initially a large integer, and returns the first solution whose cost is smaller than or equal to the bound. The bound is then reduced to the cost of this solution minus one and the process repeats. If there is no solution whose cost is smaller than or equal to the bound, it returns a cost-minimal solution. Thus, IDB-ADOPT is an anytime algorithm that solves DCOP problems with integer costs optimally. Our experimental results for graph coloring problems show that IDB-ADOPT runs faster (that is, needs fewer cycles) than ADOPT on large DCOP problems, with savings of up to one order of magnitude.
Integrated Reasoning and Proof Choice Point Selection in the Jahob System --- Mechanisms for Program Survival
Authors: Martin Rinard
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, and verification system. In contrast to many such systems, which use a monolithic reasoning approach, Jahob provides a general integrated reasoning framework, which enables multiple automated reasoning systems to work together to prove the desired program correctness properties.We have used Jahob to prove the full functional correctness of a collection of linked data structure implementations. The automated reasoning systems are able to automatically perform the vast majority of the reasoning steps required for this verification. But there are some complex verification conditions that they fail to prove. We have therefore developed a proof language, integrated into the underlying imperative Java programming language, that developers can use to control key choice points in the proof search space. Once the developer has resolved these choice points, the automated reasoning systems are able to complete the verification. This approach appropriately leverages both the developer's insight into the high-level structure of the proof and the ability of the automated reasoning systems to perform the mechanical steps required to prove the verification conditions.Building on Jahob's success with this challenging program verification problem, we contemplate the possibility of verifying the complete absence of fatal errors in large software systems. We envision combining simple techniques that analyze the vast majority of the program with heavyweight techniques that analyze those more sophisticated parts of the program that may require arbitrarily sophisticated reasoning. Modularity mechanisms such as abstract data types enable the sound division of the program for this purpose. The goal is not a completely correct program, but a program that can survive any remaining errors to continue to provide acceptable service.
On Pebble Automata for Data Languages with Decidable Emptiness Problem
Authors: Tony Tan
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-pebble automata is decidable, while the same problem for weak 3-pebble automata is undecidable. We also introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed only between the data values seen by the two most recently placed pebbles. The emptiness problem for this model is still decidable. 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
An Approach to Measuring Software Development Risk Based on Information Entropy
Authors: Jiang Rong, Liao Hongzhi, Yu Jiankun, Sun Yafei, Li Junlin, Chen Lihua
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

Software development risk always influence the success of software project,even determine a enterprise surviving or perishment. Consequently, there are some significant meaning for software company and software engineering field to measure effectively the risk. Whereas, the measurement is very difficult because software is a sort of logic product. There are many methods to measure the risk at the present time, but lack of quantificational measurement methods, and these measurements are all localization and they cannot consider well the risk factors and the effect. In this paper,we bring forward a quantificational approach to measuring the software development risk based on information entropy. It involves both the probabilities of the risk factors and the bloss, it is a effective synthesis method to measuring software development risk in practice.
Method to Evaluate Driver's Workload in Real Road Context
Authors: Annie Pauzié
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

Innovative technology implemented in the vehicle can induce improvement in road safety, as long as its acceptability and its adequacy are checked, taking into account the diversified driver's population needs and functional abilities through a Human Centred Design process. Relevant methodology has to be developed in this purpose. Evaluation of the driver's mental workload is an important parameter, complementary to objective ones such as control of the vehicle and driver's visual strategies. This paper reports on 3 real road experiments run for the assessment of mobile phone and guidance/navigation systems usability. Evaluation has been based upon a method of subjective evaluation of the driver's mental workload: the Driving Activity Load Index (DALI). Use of the DALI allowed identifying which aspects of the system had to be improved, for an improved acceptability and usability by the drivers. 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
Software security analysis and assessment model for the web-based applications
Authors: Y. Wang, W. M. Lively, D. B. Simmons
Venue: Journal of Computational Methods in Sciences and Engineering (2009)

For web-based applications, a security analysis was conducted in order to identify software vulnerabilities and develop a new security assessment model. During such an analysis, the major security vulnerabilities observed in the open web proxy honeypot during the data collection time from February to March 2005 were computer worm attacks in Code Red and Nimda, AWSTAT attacks, unauthorized access request (HTTP error code 403), MS-SQL version overflow attacks, etc. To develop the security assessment model, we extended the generic security model for a single component system to multiple components using the multidimensional Markov process model. The resulting model was applied to the most popular software systems. The software system availability in security is computed using real data, and the mean time to security failure is calculated. This paper not only provides the software vulnerability analysis of the web-based applications, but also details the software security assessment for multiple component systems.
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
Authors: Arnon Avron, Agata Ciabattoni, Anna Zamansky
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

We apply the semantic tool of non-deterministic matrices to characterize two important properties of canonical Gentzen-type calculi: invertibility of rules and axiom expansion. We show that in every canonical calculus G satisfying a natural condition, the following are equivalent: (i) the connectives of G admit axiom expansion, (ii) the rules of G are invertible, and (iii) G has a characteristic finite deterministic matrix.
Statistical language models for information retrieval
Authors: ChengXiang Zhai
Venue: Proceedings of the Human Language Technology Conference of the NAACL, Companion Volume: Tutorial Abstracts on XX (2007)

Statistical language models have recently been successfully applied to many information retrieval problems. A great deal of recent work has shown that statistical language models not only achieve superior empirical performance, but also facilitate parameter tuning and provide a more principled way, in general, for modeling various kinds of complex and non-traditional retrieval problems.
Research on Measurement of Aggregate Micro-structure Using Laser and Fractal Theory and the Relationship with Asphalt Pavement Performance of Anti-slide
Authors: Yangyong Sun, Xiaoning Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Based on aggregate micro-structure measurement, combined with fractal theory and frequency analysis, the paper carried out on the road of anti-sliding performance, including the extraction of aggregate indoor micro-structure, the corresponding value of the wear and polishing of raw materials and on-site road aggregate micro-table. We also discussed the morphology based on aggregate micro-structure and properties of anti-slide important relationship, and use artificial intelligence to predict and evaluation and so on. Using high-precision laser texture sensor rapidly acquainted aggregate surface structure, using digital graphic images of the microscopic analyze and calculate fractal dimension. We could assess aggregate with the micro-structure, and through theoretical and practical method to measure a combination of anti-slide projections law with attenuation performance.
Designing for Improving Verbal Patient Transfer
Authors: Abdullah Al Mahmud, Max Eichenbrenner, Omar Mubin
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

The current verbal patient transfer between nurses and paramedics lacks communication, which leads to loss of information. During this operation, handwritten protocols are used to document the patient's personal data and the treatment given at several intervals. In order to encourage teamwork between the two parties (i.e. nurses and paramedics), the challenge is to present the patient information in a more accessible and feasible way. In this paper, we present the design and evaluation of an interactive and tangible presentation medium that aims to improve the verbal patient transfer by mediated communication. Our result shows that the concept would improve the current verbal patient transfer as evaluated by paramedics and nurses.
A Directional Rouy-Tourin Scheme for Adaptive Matrix-Valued Morphology
Authors: Luis Pizarro, Bernhard Burgeth, Michael Breuß, Joachim Weickert
Venue: Proceedings of the 9th International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing (2009)

In order to describe anisotropy in image processing models or physical measurements, matrix fields are a suitable choice. In diffusion tensor magnetic resonance imaging (DT-MRI), for example, information about the diffusive properties of water molecules is captured in symmetric positive definite matrices. The corresponding matrix field reflects the structure of the tissue under examination. Recently, morphological partial differential equations (PDEs) for dilation and erosion known for grey scale images have been extended to matrix-valued data.In this article we consider an adaptive, PDE-driven dilation process for matrix fields. The anisotropic morphological evolution is steered with a matrix constructed from a structure tensor for matrix valued data. An important novel ingredient is a directional variant of the matrix-valued Rouy-Tourin scheme that enables our method to complete or enhance anisotropic structures effectively. Experiments with synthetic and real-world data substantiate the gap-closing and line-completing properties of the proposed method.
Decision Superiority Process Model
Authors: Barbara Sorensen, Azad M. Madni, Carla C. Madni
Venue: Journal of Integrated Design Process Science (2008)

Decision superiority is achieved not just by acquiring and assessing the right information, but by translating it into actionable knowledge that can be exploited in the decision making process. Achieving decision superiority is necessary, because the decisions made by commanders and staff, ultimately, determine mission outcome. Although technology is integral to the process, it is limited by factors such as bandwidth optimization, system interoperability, and information flow optimization. However, most important to the Command and Control (C$^{2}$) decision makers today are the cognitive processes that enable commanders to determine when to employ C$^{2}$ information systems to support C$^{2}$ decisions and the methods of how to respond to cues provided by the systems. This paper describes a continuous decision making process model that is specifically suited to support C$^{2}$ decision superiority. Decision makers are continually inundated with data, albeit most data provides non actionable intelligence and unreliable information. Inadequate data is inadmissible, specifically from the perspective of a C$^{2}$ information systems design, where timely delivery of the right information to C$^{2}$ decision makers is essential, thus, context awareness is a key necessity. Context in C$^{2}$ operations is dynamic and includes factors such as mission, enemy, terrain (and weather), personnel, time available, and civil support. Understanding and keeping track of these variables is the cornerstone of future C$^{2}$ decision making, especially for network centric warfare operations. The DecisionEdge&trade; model is based on the "context-goal alternatives" construct, which recognizes as context changes, the goal might also change, thus, precipitating the need for generating a new set of alternatives. It should be noted that goals are not constant; therefore, they can change when a new mission directive is initiated.
Systematic procedure of determining an ideal color scheme on 4D models
Authors: Han-Shuo Chang, Shih-Chung Kang, Po-Han Chen
Venue: Advanced Engineering Informatics (2009)

Four-dimensional models, which are 3D models with an added dimension to represent schedule information, have become an important tool in representing construction processes. These models usually rely on colors to represent the different construction states, such that when an ideal color scheme is used, engineers are able to understand the model and identify the potential problems more easily. However, up to this point, little research has been conducted in this area. This paper presents the selection, examination, and user test (SEUT) procedure, a systematic procedure to determine the ideal color scheme for a 4D model. This procedure can be performed iteratively to obtain the ideal color scheme, which would fit a 4D model according to its construction purposes. After conducting an example case following the proposed procedure, we determined an ideal color scheme for six construction states of a 4D model for plant construction. In total ten color schemes were examined and testing was conducted by 58 users over two iterations. The results show that the SEUT procedure is an effective method for determining color schemes to present 4D models and an ideal color scheme was validated and recommended in this research.
PYTHON 2.6: Distributing Modules
Authors: Guido van Rossum, Fred L. Drake
Venue: Python Documentation (2009)

PYTHON 2.6: Distributing Modules (Python Documentation MANUAL Part 6). This is a printed edition of the official Python documentation from the PYTHON 2.6.1 distribution. For each copy sold $1 will be donated to the PYTHON SOFTWARE FOUNDATION by the publisher. This book is part of a six-part series of PYTHON 2.6 documentation. Searching for "Python Documentation Manual" will show all six available books as well as the series of Python 3.0 documentation books. THE AUTHOR Guido van Rossum, is the inventor of Python. Fred L. Drake, Jr. is the official editor of the Python documentation.
Security Management with Virtual Gateway Platforms
Authors: Mario Ibanez, Natividad Martínez Madrid, Ralf Seepold
Venue: Proceedings of the 2009 Third International Conference on Emerging Security Information, Systems and Technologies (2009)

In residential environments, a home gateway platform can offer services that are configurable by a user depending on current needs or preferences. Gateway devices are very often managed by a service provider or an access provider to enhance performance or guarantee QoS. Assuming a multi-provider and/or multi-user scenario, a secure framework has to maintain security and privacy between different gateway users. Virtualization of gateway platforms can provide security and it can maintain privacy since it isolates different instances by virtual machines working on the same real machine only restricted by the potential of the underlying hardware. The presented approach does not impose any restriction on the number of providers overcoming side-effects occurring during reconfiguration of the gateway. The model has been evaluated in a multi-provider case study with focus on multimedia data management incorporating several different devices and hardware platforms.
A Novel Algorithm for Viewshed Based on Digital Elevation Model
Authors: Zhong-Yu Xu, Qi Yao
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Visibility analysis is widely applied to military and project fields, of which viewshed computing is the important factor. This article analyses the advantages and disadvantages of the common algorithms for viewshed computing, and puts forward an improved Xdraw algorithm one to reduce obviously the frequency of access to database aiming at a large scale DEM database. Then the continuous research direction is shown through analysis of this algorithm from correctness and efficiency in practice.
Computer Vision: A Plea for a Constructivist View
Authors: Catherine Garbay
Venue: Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine (2009)

Computer vision is presented and discussed under two complementary views. The positivist view provides a formal background under which vision is approached as a problem-solving task. By contrast, the constructivist view considers vision as the opportunistic exploration of a realm of data. The former view is rather well supported by evidence in neurophysiology while the latter view rather relies on recent trends in the field of distributed and situated cognition. The notion of situated agent is presented as a way to design computer vision systems under a constructivist hypothesis. Various applications in the medical domain are presented to support the discussion.
Finding cars, goddesses and enzymes: parametrizable acquisition of labeled instances for open-domain information extraction
Authors: Benjamin Van Durme, Marius Pasca
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

A method is given for the extraction of large numbers of semantic classes along with their corresponding instances. Based on the recombination of elements clustered through distributional similarity, experimental results show the procedure allows for a parametric trade-off between high precision and expanded recall.
Graph-based analysis of semantic drift in Espresso-like bootstrapping algorithms
Authors: Mamoru Komachi, Taku Kudo, Masashi Shimbo, Yuji Matsumoto
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

Bootstrapping has a tendency, called semantic drift, to select instances unrelated to the seed instances as the iteration proceeds. We demonstrate the semantic drift of bootstrapping has the same root as the topic drift of Kleinberg's HITS, using a simplified graph-based reformulation of bootstrapping. We confirm that two graph-based algorithms, the von Neumann kernels and the regularized Laplacian, can reduce semantic drift in the task of word sense disambiguation (WSD) on Senseval-3 English Lexical Sample Task. Proposed algorithms achieve superior performance to Espresso and previous graph-based WSD methods, even though the proposed algorithms have less parameters and are easy to calibrate.
An Efficient and Fast Active Contour Model for Salient Object Detection
Authors: Riadh Ksantini, Farnaz Shariat, Boubakeur Boufama
Venue: Proceedings of the 2009 Canadian Conference on Computer and Robot Vision (2009)

In this paper, we investigate the polarity information toimprove the active contour model proposed by Chunming etal. [12]. Unlike the traditional level set formulations, thevariational level set formulation proposed by [12] forcesthe level set function to be close to a signed distance function,and therefore completely eliminates the need of the reinitializationprocedure and speeds up the curve evolution.However, like the majority of classical active contour models,the model proposed by [12] relies on a gradient basedstopping function, depending on the image gradient, to stopthe curve evolution. Consequently, using gradient informationfor noisy and textured images, the evolving curve maypass through or stop far from the salient object boundaries.Moreover, in this case, the isotropic smoothing Gaussianhas to be strong, which will smooth the edges too. For thesereasons, we propose the use of a polarity based stoppingfunction. In fact, comparatively to the gradient information,the polarity information accurately distinguishes theboundaries or edges of the salient objects. Hence, Combiningthe polarity information with the active contour modelof [12] we obtain a fast and efficient active contour modelfor salient object detection. Experiments are performed onseveral images to show the advantage of the polarity basedactive contour.
Vibration Controller of Marine Electromagnetic Vibrator
Authors: Feng Sun, Zu Bin Chen, Jun Lin
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Marine electromagnetic vibrator is a non-explosive seismic source, for high resolution detection of marine seismic exploration ，which used sublevel sweep mode of marine electromagnetic vibrator. The vibration controller provides sublevel Chirp signal by marine geology condition. The Chirp signal was sent to exciter through power amplifier. Exciter coupled with marine water by shaking base plate, the elastic wave was sent to marine .The vibration controller is the source of marine vibrator, so the quality of signal influences the whole performance index of seismic explosive system. This thesis discusses hardware and software of marine electromagnetic vibrator controller.