ppxscal/embedding_network huggingface dataset:
The XTRIEVAL Framework at CLEF 2007: Domain-Specific Track
Authors: Jens Kürsten, Thomas Wilhelm, Maximilian Eibl
Venue: Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers (2008)

This article describes the architecture and configuration of the XTRIEVAL (eXtensible reTRIeval and EVALuation) framework. A first prototype is described in [1]. For CLEF 2007 a second prototype was implemented which was focused on the cross-language aspect. Runs for all subtasks of the Domain-Specific track were submitted. The performance of our submitted runs was on average compared to other participating groups. Additional experiments on the Multilingual task demonstrated substantial improvement.
Managing Variability in Reusable Requirement Models for Software Product Lines
Authors: Hassan Gomaa, Erika Mir Olimpiew
Venue: Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems (2008)

This paper describes a feature-oriented approach for managing variability in reusable requirement models for software product lines. The functional requirements of a SPL are described with reusable use case models, reusable activity models and reusable test models. A feature model provides a central point for analyzing the commonality and variability in these functional models, and for managing variability across these models.
Case studies for contract-based systems
Authors: Michal Jakob, Michal Pěchouček, Simon Miles, Michael Luck
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track (2008)

Of the ways in which agent behaviour can be regulated in a multi-agent system, electronic contracting - based on explicit representation of different parties' responsibilities, and the agreement of all parties to them - has significant potential for modern industrial applications. Based on this assumption, the CONTRACT project aims to develop and apply electronic contracting and contract-based monitoring and verification techniques in real world applications. This paper presents results from the initial phase of the project, which focused on requirements solicitation and analysis. Specifically, we survey four use cases from diverse industrial applications, examine how they can benefit from an agent-based electronic contracting infrastructure and outline the technical requirements that would be placed on such an infrastructure. We present the designed CONTRACT architecture and describe how it may fulfil these requirements. In addition to motivating our work on the contract-based infrastructure, the paper aims to provide a much needed community resource in terms of use case themselves and to provide a clear commercial context for the development of work on contract-based system.
Generator of Synthetic Rainfall Time Series through Markov Hidden States
Authors: Héctor Sanvicente-Sánchez, Yolanda Solís-Alvarado
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

This paper presents a method for generating synthetic daily rainfall time-series using Markov hidden states that preserve the temporal, spatial and rainfall quantity correlation in a climatologic network station or in a basin divided into catchments. The method does not require that the rainfall time series must be normally distributed and the seasonal rainfall dependence is managed with a non-homogeneous Markov process. Because the computer implementation does not require a large amount of resources, it is fast and accurately produces synthetic time series. The hydrologic model for simulation and planning developed for the Lerma river basin in Mexico was fed with synthetic rainfall time series generated with this method.
Application of computer simulation for the design of a new high voltage transducer, aiming to high voltage measurements at field, considering frequencies from DC up to 5 kHz
Authors: Hédio Tatizawa, Geraldo F. Burani, Paulo F. Obase
Venue: Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation (2008)

This paper shows the application of computer simulations using PSPICE program Student version [1], for the development of a new kind of high voltage transducer, considering frequencies from DC up to 5 kHz. Many different approaches and solutions are analyzed, aiming to the damping of voltage oscillations in the capacitive divider output, caused by inductances present in field measurements, besides of the inherent undamped behavior of the capacitive divider.
Knowledge-Based Bundling of Smart Products on a Mobile Recomendation Agent
Authors: Tobias Kowatsch, Wolfgang Maass, Andreas Filler, Sabine Janzen
Venue: Proceedings of the 2008 7th International Conference on Mobile Business (2008)

Mobile technologies have the potential to change not only brick-and-mortar stores but also the way, how customers interact with physical products. They enable operational agility by means of improved availability and quality of information required by customers for in-store purchase decisions. In this paper, we show how an in-store bundling scenario can be supported by semantically enriched products (denoted as smart products) that provide dynamic product information through the use of mobile recommendation agents (MRA). We introduce therefore the concept of knowledge-based bundling that relies on smart products and MRA. In addition, we developed a MRA and evaluated its user acceptance for product bundle purchases. For this purpose, a lab experiment was conducted (n=37), which resulted in some design enhancements and promising adoption rates.
Multi-view Sketch-Based FreeForm Modeling
Authors: Florian Levet, Xavier Granier, Christophe Schlick
Venue: Proceedings of the 8th international symposium on Smart Graphics (2007)

For the generation of freeform 3D models, one of the most intuitive solution is to use sketch-based modeling environments. Unfortunately, since the user interface relies upon the analyse of sketches in order to determine which action is requested by the user, the possible amount of different operations can be limited. In this paper, we present a 3D sketching system based on multiple views. Each view is specialized on a component of the modeling process (like the skeleton, the profile, etc.), and is based on specific sketching interactions. With this approach, an user could improve its understanding of the modeling process and perform a larger range of modeling operations.
Electronic Government as a combination of human and technological agency: Testing the principle of symmetry
Authors: Agneta Ranerup
Venue: Information Polity (2007)

It is argued here that Electronic Government (E-Gov) research to date has misconceived humans and technology, tending to give primacy to one or the other, but failing to grapple with their interaction. The present paper tries to remedy this by introducing an Actor-Network Theory (ANT) inspired approach in which the principle of symmetry is applied to an empirical case. This perspective emphasizes agency as a combination of actions of humans and technology, both separately and in conjunction (a "hybrid"). The research context is a computerized decision support (DSS) for portfolio management in the premium pension system in Sweden. The study shows that a system incorporating humans in conjunction with the DSS (a "hybrid") is able to make advanced economic decisions in line with pension policy by incorporating the preferences and characteristics of humans as well as the capabilities of technology. From a more general perspective, E-Gov is discussed today as a way of extending the hybridization of society, which is becoming an increasingly important component of the state's relationship with its citizens. The paper also discusses methodological implications, most importantly how to represent technology in a symmetrical analysis and how to avoid excessive detail in reporting.
An Adaptive Mobile System to Solve Large-Scale Problems in Wireless Networks
Authors: Jehwan Oh, Eunseok Lee
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

In this paper, we propose an adaptive mobile system that uses mobile grid computing to achieve infeasible work in mobile device. Recently, grid computing has gained significance for its ability to achieve certain goals by sharing the idle resources of computing devices, and thus overcoming the various constraints of the mobile computing environment. In the mobile environment, it is very important for mobile devices to recognize correctly their resource state. The proposed system includes a Grid Inference Engine, which decides on the resource state by using fuzzy logic. In this paper, a prototype is implemented to evaluate the proposed system. The effectiveness of the system is confirmed through experiment.
Evaluation and Diversity in Co-evolution
Authors: Rients P. Wijngaarden, Edwin D. Jong
Venue: Proceedings of the 10th international conference on Parallel Problem Solving from Nature: PPSN X (2008)

This paper studies the performance of four alternative evaluation methods; two instances of the Exponential Moving average, the Elo-rating and the Glicko-rating method. These methods are tested in a co-evolutionary setup using the LINT-game, which is known to be problematic under co-evolutionary conditions. Besides the different evaluation approaches, two methods aimed at preserving diversity are tested. By using the Objective Fitness Correlation as an analytical tool for monitoring accuracy of evaluation, it is shown that actual performance of an evaluation method strongly depends on whether co-evolutionary failure occurs and that a multi-modal approach to the LINT-problem is effective in maintaining stable progress over time.
r3: Resilient Random Regular Graphs
Authors: Stanko Dimitrov, P. Krishnan, Colin Mallows, Jean Meloche, Shalini Yajnik
Venue: Proceedings of the 22nd international symposium on Distributed Computing (2008)

Efficiently building and maintaining resilient regular graphs is important for many applications. Such graphs must be easy to build and maintain in the presence of node additions and deletions. They must also have high resilience (connectivity). Typically, algorithms use offline techniques to build regular graphs with strict bounds on resilience and such techniques are not designed to maintain these properties in the presence of online additions, deletions and failures. On the other hand, random regular graphs are easy to construct and maintain, and provide good properties with high probability, but without strict guarantees. In this paper, we introduce a new class of graphs that we call r 3 (resilient random regular) graphs and present a technique to create and maintain r 3 graphs. The r 3 graphs meld the desirable properties of random regular graphs and regular graphs with strict structural properties: they are efficient to create and maintain, and additionally, are highly connected (i.e., 1 + d/2-node and d-edge connected in the worst case). We present the graph building and maintenance techniques, present proofs for graph connectedness, and various properties of r 3 graphs. We believe that r 3 graphs will be useful in many communication applications.
Intel Local Network Architecture
Authors: Robert Ryan, George Marshall, Robert Beach, Steven Kerman
Venue: IEEE Micro (1981)

Networks using Intel's Local Network Architecture promise significant benefits in resource sharing, communications multiplexing, and distributed computing.
A structural model of personality factors, learning approaches, thinking styles and academic achievement
Authors: Parvin Kadivar, Omid Shokri
Venue: Proceedings of the WSEAS International Conference on Applied Computing Conference (2008)

In This Research a short form of the Big Five personality factors Inventory, Study Process Questionnaire, and Thinking Styles Inventory were conducted on a sample of 419 subjects (214 and 205 males and females respectively). Measures of academic achievement were also obtained. Using the path analysis, the direct and indirect effects of personality traits on learning approaches (deep and surface approaches), thinking styles (thinking styles have five dimensions - Functions, Forms, Levels, Scopes, and Leanings) and academic achievement were tested. The obtained results indicated that openness and conscientiousness have a significant positive effect on deep learning approach, while openness and conscientiousness have significant negative effect and neuroticism has a significant positive effect on surface learning approach. The results also showed that openness, neuroticism, conscientiousness, and extraversion respectively have significant positive effect on judicial, global, and liberal thinking styles; on executive, local, and conservative thinking styles; on legislative and hierarchical thinking styles; and on global, liberal, hierarchical and external thinking styles (with the exception of openness that has a significant negative effect on conservative thinking styles).
Mobility behind e-learning behavior
Authors: Hsieh-Hua Yang, Jui-Chen Yu, Hung-Jen Yang, L. W. Wang, Y. M. Chu
Venue: Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing (2008)

The purpose of this study was to present a model of mobility evaluation of e-learning process. The research subjects were 767 e-learning cases who taking a six-hour with seven sections course. The platform provides mobility in three dimensions, time, location, and function. Six mobile learning outcomes were evaluated. Those were relevance, reflective thinking, interactivity, tutor support, peer support, and interpretation. Based upon statistical analysis, it was concluded that mobility contribute to reflective thinking, interactivity, tutor support, and peer support.
ParaMor: Finding Paradigms across Morphology
Authors: Christian Monson, Jaime Carbonell, Alon Lavie, Lori Levin
Venue: Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers (2008)

ParaMor automatically learns morphological paradigms from unlabelled text, and uses them to annotate word forms with morpheme boundaries. ParaMor competed in the English and German tracks of Morpho Challenge 2007 (Kurimo et al., 2008). In English, ParaMor's balanced precision and recall outperform at F1 an already sophisticated baseline induction algorithm, Morfessor (Creutz, 2006). In German, ParaMor suffers from a low morpheme recall. But combining ParaMor's analyses with analyses from Morfessor results in a set of analyses that outperform either algorithm alone, and that place first in F1 among all algorithms submitted to Morpho Challenge 2007.Categories and Subject Descriptions: I.2 [Artificial Intelligence]: I.2.7 Natural Language Processing.
XML Processing and Data Integration with XQuery
Authors: Jonathan Robie
Venue: IEEE Internet Computing (2007)

Most Web applications exchange data as XML, but they create and process this data with languages that don't have native support for XML. With appropriate middleware, XQuery can dramatically simplify this process, treating all data sources as though they were XML. This article shows how to use XQuery for native XML processing and data integration, briefly explores other technologies used in the same space, and discusses some XQuery extensions for scripting and updates that are under way.
A Stitching Algorithm for Automatic Registration of Digital Radiographs
Authors: André Gooßen, Mathias Schlüter, Thomas Pralow, Rolf-Rainer Grigat
Venue: Proceedings of the 5th international conference on Image Analysis and Recognition (2008)

In digital radiography oversized radiographs have to be assembled from multiple spatially overlapping exposures. We present an algorithm for fast automatic registration of these radiographs. An external feature is brought into the radiographs to facilitate the reconstruction. Pivotal for this algorithm is an actual interpretation of this feature instead of a simple detection. It possesses strong robustness against noise, feature masking and feature displacement. Evaluation has been performed on 2000 pairs of clinical radiographs. The proposed algorithm proved to be a powerful enhancement of established automatic registration algorithms.
Municipal Solid Waste Site Location Using a Fuzzy Logic Approach
Authors: Beatriz S. Lima, Maria C. Alves, Alexandre G. Evsukoff, Ian N. Vieira
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

This work presents a decision-support system (DSS) based on fuzzy logic to select the best site for the installation of a Municipal Solid Waste (MSW) landfill. Selection of a new site requires the evaluation of many criteria involving environmental, social and economic data. Such a large range of information comprises not only quantitative, but also qualitative criteria. In order to deal with this peculiarity, the developed system used fuzzy rules due to its ability to deal with linguistic variables and most of human reasoning. Conventional approaches tend to be less effective in dealing with the imprecise or vague nature of the linguistic assessment. A case study using real data of a recent MSW location in Brazil is presented where the developed system showed good results.
Dataset Analysis of Proxy Logs Detecting to Curb Propagations in Network Attacks
Authors: Da-Yu Kao, Shiuh-Jeng Wang, Frank Fu-Yuan Huang, Sajal Bhatia, Saurabh Gupta
Venue: Proceedings of the IEEE ISI 2008 PAISI, PACCF, and SOCO international workshops on Intelligence and Security Informatics (2008)

The exponential growth of Internet has brought a monolithic change in the level of malicious attacks, leading to the emergence proxy servers, which indeed have proven to apotheosis hiding place for the Internet intruders. The collected logs of these proxy servers contain portentous information, and its dissection can help in analyzing the deviation of abnormal activities form the normal ones. How to figure out their network of networks, identify possible offenders, and strike the heartland of their safe haven has become an upcoming challenge for universal law enforcement agents. This paper considers exactly what kind of elements should be explored once an offensive behavior has been noticed in proxy logs. It scrutinizes (i) the Time Stamp gap of sequential records (ii) the parameters of digital action (iii) the appearance of special parameters (iv) the patterns in the log files.
A New Travel Time Prediction Method for Intelligent Transportation Systems
Authors: Hyunjo Lee, Nihad Karim Chowdhury, Jaewoo Chang
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part I (2008)

Travel time prediction is an indispensable for numerous intelligent transportation systems (ITS) including advanced traveler information systems. The main purpose of this research is to develop a dynamic travel time prediction model for road networks. In this paper we propose a new method to predict travel times using Naïve Bayesian Classification (NBC) model because Naïve Bayesian Classification has exhibited high accuracy and speed when applied to large databases. Our proposed prediction algorithm is also scalable to road networks with arbitrary travel routes. In addition, we compare the proposed method with such prediction methods as link-based prediction model and time-varying coefficient linear regression model. It is shown from our experiment that NBC predictor can reduce mean absolute relative error significantly rather than the other predictors. We illustrate the practicability of applying NBC in travel time prediction and prove that NBC is suitable and performs well for traffic data analysis.
Recognising Human Emotions from Body Movement and Gesture Dynamics
Authors: Ginevra Castellano, Santiago D. Villalba, Antonio Camurri
Venue: Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction (2007)

We present an approach for the recognition of acted emotional states based on the analysis of body movement and gesture expressivity. According to research showing that distinct emotions are often associated with different qualities of body movement, we use non- propositional movement qualities (e.g. amplitude, speed and fluidity of movement) to infer emotions, rather than trying to recognise different gesture shapes expressing specific emotions. We propose a method for the analysis of emotional behaviour based on both direct classification of time series and a model that provides indicators describing the dynamics of expressive motion cues. Finally we show and interpret the recognition rates for both proposals using different classification algorithms.
Statistical Modeling of Plume Exhausted from Herschel Small Nozzle with Baffle
Authors: Gennady Markelov, Juergen Kroeker
Venue: Proceedings of the 8th international conference on Computational Science, Part I (2008)

Constantly released Helium on board of the Herschel spacecraft is used to cool three scientific instruments down to 0.3 K. The Helium is released by small nozzles creating a counter-torque. This compensates the torque caused by the solar pressure acting on the spacecraft surfaces. An optimization of the nozzle shape did not allow avoiding severe plume impingement on the spacecraft surfaces and consequently the application of baffles has been considered to reduce plume impingement effects. Two baffle shapes, cylindrical and conical, with different radii and lengths have been analyzed numerically. The analysis has been performed with a kinetic approach, namely, the direct simulation Monte Carlo (DSMC) method to cope with changing flow regime from continuum in a subsonic part of the nozzle through transitional to free-molecular flow inside the baffle. A direct application of DSMC-based software would require large computer resources to model the nozzle and plume flows simultaneously. Therefore, the computation was split in two successive computations for the nozzle and nozzle/plume flow. Computations of plume flow with and without baffles were performed to study effects of baffle size and shape on the plume divergence, and plume impingement on the Herschel spacecraft. It has been shown that small baffles even widen the plume. An increase of radius/length of the baffle decreases the plume divergence, however even the largest baffle could not meet the requirements.
Normalization of Infinite Terms
Authors: Hans Zantema
Venue: Proceedings of the 19th international conference on Rewriting Techniques and Applications (2008)

We investigate the property SN ¿ being the natural concept related to termination when considering term rewriting applied to infinite terms. It turns out that this property can be fully characterized by a variant of monotone algebras equipped with a metric. A fruitful special case is obtained when the algebra is finite and the required metric properties are obtained for free. It turns out that the matrix method can be applied to find proofs of SN ¿ based on these observations. In this way SN ¿ can be proved fully automatically for some interesting examples related to combinatory logic.