ppxscal/embedding_network huggingface dataset:
Formal Specification of Gateways in Integrated Architectures
Authors: R. Obermaisser
Venue: Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems (2008)

Complex embedded computer systems can encompass multiple application subsystems, such as a multimedia, a powertrain, a comfort and a safety subsystem in the in-vehicle electronic system of a typical premium car. Information exchanges between these application subsystems are essential to realize composite services that involve more than one application subsystem and to reduce redundant computations and sensors. A major challenge is to resolve the property mismatches at the interfaces between application subsystems, such as incoherent naming, divergent syntax, or different communication protocols. Also, fault isolation capabilities are required to prevent common mode failures induced by the propagation of faults between application subsystems. The contribution of this paper is a formal specification of gateways that contain structured collections of time-sensitive variables associated with timing information (called real-time databases) in order to separate the application subsystems. The formal specification can serve as a basis for automatic code generation or formal verification.
Minimal Templates and Knowledge Discovery
Authors: Barbara Marszał---Paszek, Piotr Paszek
Venue: Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms (2007)

In this paper the dependences between the Dempster-Shafer theory and rough set theory have been used to find a minimal template in a given decision table. The Dempster-Shafer theory [5] is called a mathematical theory of evidence. This theory is based on belief functions and plausible reasoning is used to combine separate pieces of information (evidence) to calculate the probability of an event. Rough set theory was proposed by Pawlak in 1982 [3] as a mathematical tool for describing the uncertain knowledge. In 1987 [1] and 1991 [6] the basic functions of the evidence theory were defined, based on the notation from rough set theory. These definitions allow finding interesting dependences in decision tables.
An Ontology for Spatial Regulations
Authors: Tom Engers, Erik Hupkes, Radboud Winkels, Alexander Boer
Venue: Computable Models of the Law: Languages, Dialogues, Games, Ontologies (2008)

The last decade improving access of legal sources using ICT and especially the Internet has lead to various internet portals for accessing textual sources, standardisation of those sources using W3C standards such as XML for describing the structure of such documents and meta standards such as MetaLex [1,2]. In order to improve access to spatial regulations we should establish a successful marriage between geographical information systems based technology and a machine readable regulative framework, allowing connecting regulations as described in legal sources to an object oriented representation of the real world such as a zoning plan. This paper describes the architecture of an application developed for improving access to spatial regulations, integrating different sources such as GIS (Geographical Information Systems) information, maps and textual legal sources. This application called Legal Atlas uses a relatively compact ontology in OWL for combining spatial planning information in GML (Geographical Mark-up Language) with legal sources described in MetaLex XML. We will explain this ontology and the way it is used to support users in accessing spatial regulations, starting either from querying a map based interface of a text based one, i.e. starting from the spatial perspective or from the normative perspective.
Neural Network Control for Visual Guidance System of Mobile Robot
Authors: Young-Jae Ryoo
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part II (2007)

This paper describes a neural network control for a visual guidance system of a mobile robot to follow a guideline. Without complicated geometric reasoning from the image of a guideline to the robot-centered representation of a bird's eye view in conventional studies, the proposed system transfers the input of image information into the output of a steering angle directly. The neural network controller replaces the nonlinear relation of image information to a steering angle of robot on the real ground. For image information, the feature points of guideline are extracted from a camera image. In a straight and curved guideline, the driving performances by the proposed technology are measured in simulation and experimental test.
Constraint Prioritization for Efficient Analysis of Declarative Models
Authors: Engin Uzuncaova, Sarfraz Khurshid
Venue: Proceedings of the 15th international symposium on Formal Methods (2008)

The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer performs bounded exhaustive analysis using off-the-shelf SAT solvers. The analyzer's performance hinges on the complexity of the models and so far, its feasibility has been shown only within limited bounds. We present a novel optimization technique that defines program slicing for declarative models and enables efficient analyses exploiting partial solutions. We present an algorithm that computes transient slices for Alloy models by partitioning them into a base and a derived slice. A satisfying solution to the base slice is systematically extended to generate a solution for the entire model, while unsatisfiability of the base implies unsatisfiability of the entire model.By generating slices, our approach enables constraint prioritization, where the base slice assumes higher priority than the derived slice. Compared to the complete model, base and derived slices represent smaller and, ideally, simpler sub-problems, which, in turn, enables efficient analyses for the underlying SAT solvers. Our approach analyzes the structure of a given model and constructs a set of candidate slicing criteria. Our prototype tool, Kato, performs a small-scope analysis for each criterion to determine whether declarative slicing optimization provides any performance gain and, if so, to select a criterion that is likely to provide an optimal performance enhancement. The experimental results show that, with declarative slicing, it is possible to achieve significant improvements compared to the Alloy Analyzer.
Constraint-based motion synthesis for deformable models
Authors: William Moss
Venue: Computer Animation and Virtual Worlds (2008)

We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulation to generate collision-free paths for deformable models. Our method allows the user to quickly specify various constraints, including a desired trajectory as a sparse sequence of waypoints, and it automatically computes a physically plausible path that satisfies geometric and physical constraints. We demonstrate the performance of our algorithm by computing animated realistic motion of deformable characters and simulation of a medical procedure. Copyright &copy; 2008 John Wiley & Sons, Ltd.
Application of wavelet decomposition and gradient variation in texture image retrieval
Authors: Kuo-An Wang, Hsuan-Hung Lin, Po-Chou Chan, Shih-Hsu Chang, Yung-Fu Chen
Venue: Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing (2008)

Texture gradient is a popular operation for extracting features used for content-based image retrieval (CBIR) of texture images. It is useful for depicting gradient magnitude and direction of adjacent pixels in an image. In this thesis, we proposed two methods for retrieving texture images. In the first method, discrete wavelet transform (DWT) and gradient operation were combined to extract features of an image with principal component analysis (PCA) used to determine weights of individual extracted features, while in the second method, only gradient operation without involvement of discrete wavelet transform was used to extract features. The Brodatz Album which contains 112 texture images, each has the size of 512×512 pixels, was used to evaluate the performance of the proposed methods. Before experiment, each image was cut into sixteen 128×128 non-overlapping sub-images, thus creating a database consisting of 1792 images. Regarding the number of features, a total of 126 features were extracted in the first method by calculating gradients after discrete wavelet transforms of the texture image, while in the second method only 54 features were extracted from each gradient image. By integrating useful features, image retrieval systems for retrieving texture images have been designed. The results show that the two proposed methods have been demonstrated to be able to achieve better retrieval accuracy than the method proposed by Huang and Dai. Additionally, our proposed systems, especially the second proposed method, use fewer features which significantly decrease the retrieval time compared to the previous investigation.
CBIR of Spine X-Ray Images on Inter-Vertebral Disc Space and Shape Profiles
Authors: Yuchou Chang, Sameer Antani, D. J. Lee, Kent Gledhill, L. Rodney Long, Paul Christensen
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

There is very limited research published in the literature that applies content-based image retrieval (CBIR) techniques to retrieval of digitized spine X-ray images using a combination of inter-vertebral disc space and shape profiles. We present a novel technique to retrieve vertebra pairs that exhibit a specified disc space narrowing (DSN) and inter-vertebral disc shape profile. DSN is characterized using spatial and geometrical features between two adjacent vertebrae. Initial retrieval results are clustered and used to construct a voting committee to retrieve vertebra pairs with the highest DSN similarity. Experimental results show that the proposed algorithm is a promising approach for disc space-based spine X-ray image retrieval. The overall retrieval accuracy validated by a radiologist is 82.25%.
Economic evaluation for the technical performances of the building shell components: doors and windows
Authors: Lamberto Tronchin, Ilaria Durvilli, Kristian Fabbri, Valerio Tarabusi
Venue: Proceedings of the 9th WSEAS International Conference on Acoustics & Music: Theory & Applications (2008)

Soundproofing and heat insulation of a building façade depend on the performances of each element, which forms it. Glass surfaces, which could be considered the "weak" elements of a façade, have to be studied with attention in order to avoid more heat dispersions, thermal and acoustical bridges. The Italian Decree DLgs of 2005 August 19th no 192 "Accomplishment of the Directive 2002/91/Ce about the energetic output in building" with Enclosure C fixes the thermal transmittance values of the transparent locks, determined on the bases of the Climatic Area. Regarding the acoustical performances, the DPCM of 1997/12/05, "Determination of the passive acoustical requirements of the buildings" defines the evaluation indexes measured in situ following the ISO 140 and ISO 717 standards, which refer the evaluation index of the façade to the reverberation time (D2m,nt,w), which is influenced by the presence of doors and windows. The aim of this work is the study of the thermal and acoustic performances of doors and windows, considering a real case of a terraced building. The study is carried out analysing the total performances of four door and window typologies, according to the 2000 UNI EN 12207 and the 2005 UNI 11173. Finally, the evaluation of energetic costs is presented.
An examination of disposition, motivation, and involvement in the new technology context computers in human behavior
Authors: Shaojing Sun
Venue: Computers in Human Behavior (2008)

This study investigated the relationship among dispositions (i.e., Internet self-efficacy, Internet anxiety), Internet motives, and involvement (i.e., media involvement, interaction involvement). By integrating mass communication and interpersonal communication research, the author found the dispositions played a more important role in explaining involvement than demographics did. Interpersonal utility motive and pass-time motive were important predictors of involvement. An interesting finding is that interpersonal utility motive negatively predicted interaction involvement, and positively predicted cognitive media involvement. In addition, this study provided insight into the Internet motives typology proposed by Papacharissi and Rubin [Papacharissi, Z., & Rubin, A. M. (2000). Predictors of internet use. Journal of Broadcasting and Electronic Media, 44, 175-196.].
Permutation Representation of 3 and 4-Homogenous Latin Bitrades
Authors: James G. Lefevre, Diane Donovan, Aleš Drápal
Venue: Fundamenta Informaticae (2008)

Cavenagh, Donovan and Dr&aacute;pal (2005) gave a construction for 3-homogeneous latin bitrades which was proved by Cavenagh (2006) to give every 3-homogeneous latin bitrade. A corollary is that every 3-homogenous latin bitrade may be partitioned into three disjoint transversals. Using a permutation representation for latin bitrades developed by Dr&aacute;pal, we provide a shorter proof of these results, and then give a construction for a family of separated 4-homogeneous latin bitrades.
3D Block-Based Medial Axis Transform and Chessboard Distance Transform on the CREW PRAM
Authors: Shih-Ying Lin, Shi-Jinn Horng, Tzong-Wann Kao, Chin-Shyurng Fahn, Pingzhi Fan, Cheng-Ling Lee, Anu Bourgeois
Venue: Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing (2008)

Traditionally, the block-based medial axis transform (BB-MAT) and the chessboard distance transform (CDT) were usually viewed as two completely different image computation problems, especially for three dimensional (3D) space. We achieve the computation of the 3D CDT problem by implementing the 3D BB-MAT algorithm first. For a 3D binary image of size N 3, our parallel algorithm can be run in O(logN) time using N 3 processors on the concurrent read exclusive write (CREW) parallel random access machine (PRAM) model to solve both 3D BB-MAT and 3D CDT problems, respectively. In addition, we have implemented a message passing interface (MPI) program on an AMD Opteron Model 270 cluster system to verify the proposed parallel algorithm, since the PRAM model is not available in the real world. The experimental results show that the speedup is saturated when the number of processors used is more than four, regardless of the problem size.
MedVis: A Real-Time Immersive Visualization Environment for the Exploration of Medical Volumetric Data
Authors: Rui Shen, Pierre Boulanger, Michelle Noga
Venue: Proceedings of the 2008 Fifth International Conference BioMedical Visualization: Information Visualization in Medical and Biomedical Informatics (2008)

This paper describes the Medical Visualizer, a real-time visualization system for analyzing medical volumetric data in various virtual environments, such as autostereoscopic displays, dual-projector screens and immersive environments such as the CAVE. Direct volume rendering is used for visualizing the details of medical volumetric data sets without intermediate geometric representations. By interactively manipulating the color and transparency functions through the friendly user interface, radiologists can either inspect the data set as a whole or focus on a specific region. In our system, 3D texture hardware is employed to accelerate the rendering process. The system is designed to be platform independent, as all virtual reality functions are separated from kernel functions. Due to its modular design, our system can be easily extended to other virtual environments, and new functions can be incorporated rapidly.
Aqueducts: A Layered Pipeline-Based Architecture for XML Processing
Authors: Miguel A. Martínez-Prieto, Carlos E. Cuesta, Pablo Fuente
Venue: Proceedings of the 1st European conference on Software Architecture (2007)

Aqueducts define a variant of the pipe-filter style designed to handle and manage semi-structured data streams, including those describing system structures themselves, such as XML-based architecture descriptions. This style is based on the concept of aqueduct, a higher-order filter which comprises a sequence of filters able to define a process logic using flow control constructs. Those filters can be expanded, then defining an inner layer in the Aqueducts hierarchy.
Web People Search with Domain Ranking
Authors: Zornitsa Kozareva, Rumen Moraliyski, Gaël Dias
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

The world wide web is the biggest information source which people consult daily for facts and events. Studies demonstrate that 30% of the searches relate to proper names such as organizations, actors, singers, books or movie titles. However, a serious problem is posed by the high level of ambiguity where one and the same name can be shared by different individuals or even across different proper name categories. In order to provide faster and more relevant access to the requested information, current research focuses on the clustering of web pages related to the same individual. In this paper, we focus on the resolution of the web people search problem through the integration of domain information.
Identifying Events Using Computer-Assisted Text Analysis
Authors: Juliane Landmann, Cornelia Zuell
Venue: Social Science Computer Review (2008)

Events such as elections, significant changes in laws, but also extreme weather conditions, may affect societal values and, consequently, public opinion. Accordingly, a central assumption for public opinion surveys is that respondents' behavior is influenced by significant events. It is therefore necessary to consider the impact of potential events when designing a survey and, whenever possible, to control for these. To support the documentation of such societal events, the authors have developed a procedure to identify events using computer-assisted text analysis. Event words are selected and grouped by means of exploratory factor analysis based on a comparison of a large text corpus that forms the reference for a smaller text corpus consisting of media items on significant events. As a result, the factors represent significant events during a specific time period.
A Generic Framework for Argumentation-Based Negotiation
Authors: Markus M. Geipel, Gerhard Weiss
Venue: Proceedings of the 11th international workshop on Cooperative Information Agents XI (2007)

Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-independent framework for argumentation-based negotiation that covers both essential agent-internal and external components relevant to automated negotiation. This framework, called Negotiation Situation Specification Scheme (N3S), is both suited as a guideline for implementing negotiation scenarios as well as integrating available approaches that address selective aspects of negotiation. In particular, N3S contributes to the state of the art in automated negotiation by identifying and relating basic argument types and negotiation stages in a structured and formal way.
The review of the role of business intelligence in business engineering
Authors: Katarina Curko, Mladen Varga
Venue: Proceedings of the American Conference on Applied Mathematics (2008)

Success of business operations is strongly correlated with the quality and efficiency of business processes and effective management. Business engineering helps to achieve mentioned objectives. Information technology is the key factor of development and implementation of business (process) change, which also in turn influences the improvement of the company's information system that should provide data needed in business (processes). Companies seek means for efficient analysis of vast amount of gathered data from their IT systems to improve business operations and achieve a competitive advantage. They are using Business Intelligence (BI) technology to analyze every aspect of their data to understand business operation and recognize, monitor, analyze and improve business processes, and finally gain a competitive advantage in the market. The paper points out the significance of Business Intelligence for certain activities of business engineering such as: define business strategy, business process redesign, business process management, decision making (process) redesign and change of the business information system.
Context Awareness Using Semantic Web Technology in the Ubiquitous Learning Service
Authors: Tai-Jong Kim, Min-Cheol Kim
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

A number of digital contents were produced on the Web. The Present Web focuses on the display of browsers on the basis of HTML. Although persons are able to understand the meaning of information on the web, machines (application systems) are not able to understand the meaning of information. According to Berners-Lee, the Semantic Web is an extension of the current web. The Semantic Web is based on machine-processable semantics of data. Its core technology is Ontology. So machines can read and process information. And Ubiquitous computing envisions a world of fully connected devices with wireless network everywhere. Ubiquitous services are dynamic rather than stationary. In order to provide dynamic, personalized, and intelligent web services, this study shows how Semantic Web technology can be integrated in an interoperable manner in the ubiquitous learning service.
Optimizing profits from hydroelectricity production
Authors: Daniel De Ladurantaye, Michel Gendreau, Jean-Yves Potvin
Venue: Computers and Operations Research (2009)

This paper presents a deterministic and a stochastic mathematical model for maximizing the profits obtained by selling electricity produced through a cascade of dams and reservoirs in a deregulated market. The first model is based on deterministic electricity prices while the other integrates price stochasticity through the management of a tree of potential price scenarios. Numerical results based on historical data demonstrate the superiority of the stochastic model over the deterministic one. It is also shown that price volatility impacts the profits obtained by the stochastic model.
Using Cyber-Infrastructure for Dynamic Data Driven Laser Treatment of Cancer
Authors: C. Bajaj, J. T. Oden, K. R. Diller, J. C. Browne, J. Hazle, I. Babuška, J. Bass, L. Bidaut, L. Demkowicz, A. Elliott, Y. Feng, D. Fuentes, B. Kwon, S. Prudhomme, R. J. Stafford, Y. Zhang
Venue: Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007 (2007)

Hyperthermia based cancer treatments are used to increase the susceptibility of cancerous tissue to subsequent radiation or chemotherapy treatments, and in the case in which a tumor exists as a well-defined region, higher intensity heat sources may be used to ablate the tissue. Utilizing the guidance of real-time treatment data while applying a laser heat source has the potential to provide unprecedented control over the outcome of the treatment process [6,12]. The goals of this work are to provide a working snapshot of the current system architecture developed to provide a real-time finite element solution of the problems of calibration, optimal heat source control, and goal-oriented error estimation applied the equations of bioheat transfer and demonstrate that current finite element technology, parallel computer architecture, peer-to-peer data transfer infrastructure, and thermal imaging modalities are capable of inducing a precise computer controlled temperature field within the biological domain.