ppxscal/embedding_network huggingface dataset:
Specification and Analysis of Dynamic Authorisation Policies
Authors: Moritz Y. Becker
Venue: Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium (2009)

This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authorisation state. The language is more expressive than previous dynamic authorisation languages, featuring conditional bulk insertions and retractions of authorisation facts, non-monotonic negation, and nested action definitions with transactional execution semantics. Two complementary policy analysis methods are also presented, one based on AI planning for verifying reachability properties in finite domains, and the second based on automated theorem proving, for checking policy invariants that hold for all sequences of actions and in arbitrary, including infinite, domains. The combination of both methods can analyse a wide range of security properties, including safety, availability and containment.
SemEval-2007 task 16: evaluation of wide coverage knowledge resources
Authors: Montse Cuadros, German Rigau
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

This task tries to establish the relative quality of available semantic resources (derived by manual or automatic means). The quality of each large-scale knowledge resource is indirectly evaluated on a Word Sense Disambiguation task. In particular, we use Senseval-3 and SemEval-2007 English Lexical Sample tasks as evaluation bechmarks to evaluate the relative quality of each resource. Furthermore, trying to be as neutral as possible with respect the knowledge bases studied, we apply systematically the same disambiguation method to all the resources. A completely different behaviour is observed on both lexical data sets (Senseval-3 and SemEval-2007).
Algebraic approach to recovering topological information in distributed camera networks
Authors: Edgar J. Lobaton, Parvez Ahammad, Shankar Sastry
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

Camera networks are widely used for tasks such as surveillance, monitoring and tracking. In order to accomplish these tasks, knowledge of localization information such as camera locations and other geometric constraints about the environment (e.g. walls, rooms, and building layout) are typically considered to be essential. However, this information is not required for tasks such as estimating the topology of camera network coverage, or coordinate-free object tracking and navigation. In this paper, we propose a simplicial representation (called CN-Complex) that can be constructed from discrete local observations, and utilize this novel representation to recover topological information of the network coverage. We prove that our representation captures the correct topological information for coverage in 2.5D layouts, and demonstrate its utility in simulations as well as an experimental setup. Our proposed approach is particularly useful in the context of ad-hoc camera networks in indoor/outdoor urban environments with distributed but limited computational power and energy.
TurKit: tools for iterative tasks on mechanical Turk
Authors: Greg Little, Lydia B. Chilton, Max Goldman, Robert C. Miller
Venue: Proceedings of the ACM SIGKDD Workshop on Human Computation (2009)

Mechanical Turk (MTurk) is an increasingly popular web service for paying people small rewards to do human computation tasks. Current uses of MTurk typically post independent parallel tasks. We are exploring an alternative iterative paradigm, in which workers build on or evaluate each other's work. We describe TurKit, a new toolkit for deploying iterative tasks to MTurk, with a familiar imperative programming paradigm that effectively uses MTurk workers as subroutines.
Formal Analysis of Optical Waveguides in HOL
Authors: Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar
Venue: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (2009)

Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their usage to meet high capacity link demands in communication systems and to overcome the performance limitations of metal interconnect in silicon chips. Though, the inability to efficiently analyze optical systems using traditional analysis approaches, due to the continuous nature of optics, somewhat limits their application, specially in safety-critical applications. In order to overcome this limitation, we propose to formally analyze optical systems using a higher-order-logic theorem prover (HOL). As a first step in this endeavor, we formally analyze eigenvalues for planar optical waveguides, which are some of the most fundamental components in optical devices. For the formalization, we have utilized the mathematical concepts of differentiation of piecewise functions and one-sided limits of functions. In order to illustrate the practical effectiveness of our results, we present the formal analysis of a planar asymmetric waveguide.
Intelligent Coordinate Control of Pneumatic Pressure Signal Generator of Airplane Engine Inlet Test System Based on Fuzzy Neural Network
Authors: Xiao Li, Jinshan Tang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

This paper presents an intelligent coordinate control method and its application. An intelligent coordinate controller was designed based on the combination of expert intelligent coordinator, expert controller and fuzzy neural network controller. The expert intelligent coordinator assigns the expert controller and fuzzy neural network controller to control the plant independently or coordinately. The controller was applied to the pneumatic pressure signal generator with delay, nonlinear and time-variable characteristics, established to generate pneumatic pressure signals for test system of airplane engine inlet. The experiments proved that the controller has the property of less overshoot, quick response and high tracking precision, compared with conventional PID controller. This control method improved the dynamic response and steady state accuracy of the generator. This provides the beneficial reference for improving the control performance of such system.
VHDL-AMS Based Genetic Optimization of Mixed-Physical-Domain Systems in Automotive Applications
Authors: Leran Wang, Tom J. Kazmierski
Venue: Simulation (2009)

This paper presents a VHDL-AMS based genetic optimization methodology suitable for performance improvement of hardware systems in automotive applications. Models of such systems are mixed-signal (analog and digital) in which the analog parts cover mixed physical domains. A case study applying this novel method to the fuzzy logic controller (FLC) optimization in an automotive active suspension system (AASS) has been investigated. A new type of fuzzy logic membership functions with variable geometrical shapes has been proposed and optimized. In this optimization technique, VHDL-AMS is used not only for the modeling and simulation of the FLC and its underlying AASS but also for the implementation of a parallel genetic algorithm (GA). This has resulted in an integrated performance optimization system wholly implemented in the hardware description language (HDL). Results show that the proposed FLC has superior performance to that of existing FLCs that use fixed-shape membership functions.
Plan Recognition of Movement
Authors: David N. Chin, Dong-Wan Kang, Curtis Ikehara
Venue: Proceedings of the 17th International Conference on User Modeling, Adaptation, and Personalization: formerly UM and AH (2009)

Plan recognition of movement by car or foot is generally intractable because of the huge number of potential destinations and routes. However in restricted areas with limited ingress/egress and few places to go such as a military base, plan recognition of movement can be done. The ABM system uses RFID and Lidar to track the movement of vehicles and people, infer their plans/goals, and distinguish threat from normal behavior. ABM represents plans as a series of polygons that abstract important road/terrain features such as intersections and driveways. ABM's keyhole plan recognition algorithm handles unobserved steps caused by insufficient data rates or deficient sensor coverage and handles position inaccuracies due to limited sensor precision or multi-path reflections from buildings. ABM guards privacy by storing only a person's role (e.g., visitor, office worker, grounds keeper) on the military base.
Robust parsing using a hidden Markov model
Authors: Wide R. Hogenhout, Yuji Matsumoto
Venue: Proceedings of the International Workshop on Finite State Methods in Natural Language Processing (1998)

Recent approaches to statistical parsing include those that estimate an approximation of a stochastic, lexicalized grammar directly from a treebank and others that rebuild trees with a number of tree-constructing operators, which are applied in order according to a stochastic model when parsing a sentence. In this paper we take an entirely different approach to statistical parsing, as we propose a method for parsing using a Hidden Markov Model. We describe the stochastic model and the tree construction procedure, and we report results on the Wall Street Journal Corpus.
A Semantic Heterogeneity Oriented Approach to Updating GIS Client Database
Authors: Yuhong Wang, Shengwu Hu
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Data updating is a significant stage in the life of ageographical information system (GIS). When geodataproducers have finished updating their own database, theproblem of how to use the updates in new version of MDB toupdate the users’ database has become a research focus. Due todifferences in some ways such as subject background, designmethodology, application purpose, there may be muchsemantic heterogeneities between these two databases althoughthey are abstraction of the same geographic phenomena.Because of these heterogeneities, GIS Client Database updatingwill be a complex and time-taking process. To improve itsefficiency, we propose an implementing framework based onschema matching, and give some automated solutions to theoperations within this framework, such as schema matching,entity identification, updates extraction and integration.
Spatial Prediction of Soil Organic Matter Using Terrain Attributes in a Hilly Area
Authors: Peng-Tao Guo, Hong-Bin Liu, Wei Wu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Topography is one of major factors influencing soil properties at the landscape scale, especially in hilly areas. Derived terrain attributes based on digital elevation models (DEMs) may be used for soil spatial distribution prediction. Accurate estimate of spatial variability of soil organic matter (SOM) is critical to evaluate soil quality as well as assess the C sequestration potential. However, little is known about spatial variability of SOM in the hilly areas of the sub tropical zone of southwestern China. The current study addresses spatial distribution of SOM and its characteristics on landscape scale. SOM was significantly correlated with the terrain attributes slope (r=-0.57), elevation (r=-0.46) and topographic wetness index (r=0.30). Geostatistical analyses indicate a moderately structured spatial dependence of SOM. The use of terrain attributes (slope and elevation) in a multiple linear regression accounts for 29.6% of the variance of SOM. Multiple linear regression (MLR), ordinary kriging (OK), and regression kriging (RK) were compared to select the best prediction method. Root mean square errors (RMSEs) show that RK outperforms MLR and OK. Compared to MLR and OK, the spatial prediction of SOM using RK is improved by up to 72.10% and 15.69%, respectively
A Novel Air Index Scheme for Twig Queries in On-Demand XML Data Broadcast
Authors: Yongrui Qin, Weiwei Sun, Zhuoyao Zhang, Ping Yu, Zhenying He, Weiyu Chen
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Data broadcast is an efficient way for information dissemination in wireless mobile environments, and on-demand XML data broadcast is one of the most important research issues in this area. Indexing XML data on wireless channel is critical for this issue since energy management is very important in wireless mobile environments. Previous works have focused on air index schemes for single path queries. In this paper, we propose a novel air index scheme that builds concise air indexes for twig queries in on-demand XML data broadcast. We adopt the Document Tree structure as the basic air index structure for twig queries and propose to prune redundant structures of the basic Document Tree indexes to reduce the energy consumption. Then we propose to combine all the pruned indexes into one which can eliminate structure redundancy among the indexes to further reduce the energy consumption. Our preliminary experiments show that our air index scheme is very effective and efficient, as it builds concise air indexes and supports twig queries without losing any precision.
Modelling early language acquisition skills: towards a general statistical learning mechanism
Authors: Guillaume Aimetti
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop (2009)

This paper reports the on-going research of a thesis project investigating a computational model of early language acquisition. The model discovers word-like units from cross-modal input data and builds continuously evolving internal representations within a cognitive model of memory. Current cognitive theories suggest that young infants employ general statistical mechanisms that exploit the statistical regularities within their environment to acquire language skills. The discovery of lexical units is modelled on this behaviour as the system detects repeating patterns from the speech signal and associates them to discrete abstract semantic tags. In its current state, the algorithm is a novel approach for segmenting speech directly from the acoustic signal in an unsupervised manner, therefore liberating it from a pre-defined lexicon. By the end of the project, it is planned to have an architecture that is capable of acquiring language and communicative skills in an online manner, and carry out robust speech recognition. Preliminary results already show that this method is capable of segmenting and building accurate internal representations of important lexical units as 'emergent' properties from cross-modal data.
Applied and Computational Fluid Mechanics, 1st edition
Authors: Scott L. Post
Venue:  (2009)

Designed for the fluid mechanics course for mechanical engineers or as a reference for professional engineers, this up to date text uses computer algorithms and applications to solve modern problems related to fluid flow, aerodynamics, and thermodynamics. Algorithms for numerical solutions of fluid problems (which can be implemented in programming environments such as MATLAB) will be used throughout the book, and it also includes an introduction to Computational Fluid Dynamics, a well-established method in the design of heat transfer and cooling applications. A CD-ROM accompanies the book with source code, MATLAB files, third-party simulations, color figures, and other resources. 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 Evolutionary Approach for Modeling Time Series
Authors: Elena Bautu, Andrei Bautu, Henri Luchian
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

Change points in time series appear due to variations in the data generation process.We consider the problem of modeling time series generated by dynamic processes, and we focus on finding the change points using a specially tailored genetic algorithm.The algorithm employs a new representation, described in detail in the paper. Suitable genetic operators are also defined and explained.The results obtained on computer generated time series provide evidence that the approach can be used for change point detection, and has good potential for time series modeling.
Automatic head position monitoring for optimal recovery after vitrectomy
Authors: J. Dlouhy, M. Cizek, P. Cech, I. Vicha, J. Rozman
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

The system of automatic head position monitoring is designed for patient monitoring after an ophthalmologic surgery procedure called vitrectomy. The expansive gas bubble (SF6 or C3F8) or oil bubble is injected into operated eye to push on recovering parts. Correct position of the head during post-operative period is therefore important. Patient must keep his or her head in a defined position for several days or even weeks. Using traditional methods of postoperative investigation it has not been possible to objectively distinguish between complications caused by clinical factors and those caused by long term improper head posture.
Auto-complete for Improving Reliability on Semantic Web Service Framework
Authors: Hanmin Jung, Mi-Kyoung Lee, Won-Kyung Sung, Beom-Jong You
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

This paper presents two methods for enhancing auto-complete which providing search keywords that the user wants. The first is to display only search keywords that can guarantee a successful search result in real time regardless of document's insertion, deletion, and update. The second is to display search keywords with their entity types such as person, institution, and topic. To accomplish them, we introduce an auto-complete table that stores the entities extracted and indexed from input documents and their document frequency (DF). An auto-complete manager checks whether each entity in the table can guarantee a successful search result or not by considering its DF, and provides proper entities with their types to the user. To verify the effect of the auto-complete, we are designing a comparative experiment. OntoFrame 2007 without the functions will be compared with OntoFrame 2008 with the functions for discovering the effect of our auto-complete on the reliability of Semantic Web services.
Handling of prepositions in English to Bengali machine translation
Authors: Sudip Kumar Naskar, Sivaji Bandyopadhyay
Venue: Proceedings of the Third ACL-SIGSEM Workshop on Prepositions (2006)

The present study focuses on the lexical meanings of prepositions rather than on the thematic meanings because it is intended for use in an English-Bengali machine translation (MT) system, where the meaning of a lexical unit must be preserved in the target language, even though it may take a different syntactic form in the source and target languages. Bengali is the fifth language in the world in terms of the number of native speakers and is an important language in India. There is no concept of preposition in Bengali. English prepositions are translated to Bengali by attaching appropriate inflections to the head noun of the prepositional phrase (PP), i.e., the object of the preposition. The choice of the inflection depends on the spelling pattern of the translated Bengali head noun. Further postpositional words may also appear in the Bengali translation for some prepositions. The choice of the appropriate post-positional word depends on the WordNet synset information of the head noun. Idiomatic or metaphoric PPs are translated into Bengali by looking into a bilingual example base. The analysis presented here is general and applicable for translation from English to many other Indo-Aryan languages that handle prepositions using inflections and postpositions.
Scattered data reconstruction by regularization in B-spline and associated wavelet spaces
Authors: Michael J. Johnson, Zuowei Shen, Yuhong Xu
Venue: Journal of Approximation Theory (2009)

The problem of fitting a nice curve or surface to scattered, possibly noisy, data arises in many applications in science and engineering. In this paper we solve the problem using a standard regularized least square framework in an approximation space spanned by the shifts and dilates of a single compactly supported function @f. We first provide an error analysis to our approach which, roughly speaking, states that the error between the exact (probably unknown) data function and the obtained fitting function is small whenever the scattered samples have a high sampling density and a low noise level. We then give a computational formulation in the univariate case when @f is a uniform B-spline and in the bivariate case when @f is the tensor product of uniform B-splines. Though sparse, the arising system of linear equations is ill-conditioned; however, when written in terms of a short support wavelet basis with a well-chosen normalization, the resulting system, which is symmetric positive definite, appears to be well-conditioned, as evidenced by the fast convergence of the conjugate gradient iteration. Finally, our method is compared with the classical cubic/thin-plate smoothing spline methods via numerical experiments, where it is seen that the quality of the obtained fitting function is very much equivalent to that of the classical methods, but our method offers advantages in terms of numerical efficiency. We expect that our method remains numerically feasible even when the number of samples in the given data is very large.
Space Technologies for the Benefit of Human Society and Earth, 1st edition
Authors: Phillip Olla, Phillip Olla
Venue:  (2009)

When discussing the advancement of space science and space technology, most people instinctively think about deep space flights, lunar stations, and thrilling outer space adventures. The fact is that the majority of the human technology in space, which consists of interconnected satellites, points towards Earth, and is used to provide services for and fulfil the goals of people on planet Earth. Over the next decade, there will be an increased need for innovative Earth information systems to support the international space community's efforts to provide a robust infrastructure. This book describes some of the most important applications being developed, along with the space infrastructure upgrades being implemented to support them. It also provides a comprehensive review of how space technology can be used to resolve fundamental environmental, technological, and humanitarian challenges that we are experiencing on our planet. Finally, the book demonstrates to the IT and business communities how space technology can be incorporated into terrestrial IT applications to facilitate decision-making.