ppxscal/embedding_network huggingface dataset:
Mobile GUI Testing Tool based on Image Flow
Authors: Oh-Hyun Kwon, Sun-Myung Hwang
Venue: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) (2008)

GUI of mobile application software has been highlighted as elements in deciding whether or not success or failure of software itself. Since it becomes established as an important factor of software success, GUI test is required for the software success. But its test takes much efforts and time. Therefore, we propose a method and automatic tool for mobile GUI test.
Probabilities of sentences about very sparse random graphs
Authors: J. F. Lynch
Venue: Proceedings of the 31st Annual Symposium on Foundations of Computer Science (1990)

The author considers random graphs with edge probability beta n/sup - alpha /, where n is the number of vertices of the graph, beta >0 is fixed, and alpha =1 or alpha =(l+1)/l for some fixed positive integer l. It is proved that, for every first-order sentence, the probability that the sentence is true for the random graph has an asymptotic limit. Also, there is an effective procedure for generating the value of the limit in closed form.
Visual and Physical Feature Analysis for Kansei Retrieval Method in VR Japanese Crafting Presentation System
Authors: Akihiro Miyakawa, Tomoyuki Ishida, Yoshitaka Shibata
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops (2008)

In this paper, we propose a Kansei retrieval method based on the design pattern of traditional Japanese crafting object to provide a user with the desired presentation space in digital traditional Japanese crafting system. The visual quantitative feature values are extracted by using Visual Pattern Image Coding (VPIC). These values include the total number, the frequency, the dispersion rate and the deviation rate for different edges. The quantitative feature values for traditional Japanese crafting objects are registered in the multimedia database and the relation between Kansei words and the visual feature of traditional Japanese crafting objects are analyzed by using the questionnaire. Then, the visual features are compared with the quantitative feature values. Through the above process, we can find the relation between the design pattern components and edge types using VPIC. By finding this relation, the Kansei retrieval method can be realized.
Middleware Architectures for Distributed Embedded Systems
Authors: Wayne Wolf
Venue: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (2008)

A wide range of high-performance distributed embedded systems have been designed and deployed. Physically distributed embedded systems are used for manufacturing and control, traffic analysis, and other problems. Interestingly, today’s systems-on-chips are sufficiently complex that they must be treated as distributed embedded systems. At all scales of physical extent, middleware is required to manage the computations. This paper looks at distributed embedded systems at several physical scales and considers the types of middleware that are needed to operate these systems.
DEM resolution dependencies of terrain attributes across a landscape
Authors: Y. Deng, J. P. Wilson, B. O. Bauer
Venue: International Journal of Geographical Information Science (2007)

This paper documents resolution dependencies in terrain analysis and describes how they vary across landform location. Six terrain attributes were evaluated as a function of DEM resolution-slope, plan curvature, profile curvature, north-south slope orientation, east-west slope orientation, and topographic wetness index. The research highlights the effect of varying spatial resolution through a spatial sampling/resampling scheme while maintaining sets of indexed sample points at various resolutions. Tested sample points therefore coincide exactly between two directly compared resolutions in terms of their location and elevation value. An unsupervised landform classification procedure based on statistical clustering algorithms was employed to define landform classes in a reproducible manner. Correlation and regression analyses identified sensitive and consistent responses for each attribute as resolution was changed, although the tested terrain attributes responded in characteristically different ways. These responses displayed distinguishable patterns among various landform classes, a conclusion that was further verified by a series of two-sample, two-tailed t-tests.
Stability analysis of the BDF Slowest-first multirate methods
Authors: A. Verhoeven, E. J. W. Ter Maten, R. M. M. Mattheij, B. Tasic
Venue: International Journal of Computer Mathematics (2007)

This paper deals with the stability analysis of BDF Slowest-first multirate time-integration methods applied to the transient analysis of circuit models. From an asymptotic analysis it appears that these methods are indeed stable if the subsystems are stable and weakly coupled.
Angle of view vs. perspective distortion: a psychological evaluation of perspective projection for achieving perceptual realism in computer graphics
Authors: Aglika Yankova, Ingmar Franke
Venue: Proceedings of the 5th symposium on Applied perception in graphics and visualization (2008)

In a correctly constructed computer graphic image, usually one may still recognize the shape of the objects despite their (from a mathematical viewpoint correct) perspective distortion. Our perception accepts distortions and interprets, for example, an object as a proper circle, although it looks like a distorted ellipse. However, based on the scientific common sense, one should question the "infinity" of such perception tolerance. Where do its limits lie? Which perspective distortion would still be acceptable, before our perception "fails" to recognize an object because of its strong distortion?
Optimizing estimated loss reduction for active sampling in rank learning
Authors: Pinar Donmez, Jaime G. Carbonell
Venue: Proceedings of the 25th international conference on Machine learning (2008)

Learning to rank is becoming an increasingly popular research area in machine learning. The ranking problem aims to induce an ordering or preference relations among a set of instances in the input space. However, collecting labeled data is growing into a burden in many rank applications since labeling requires eliciting the relative ordering over the set of alternatives. In this paper, we propose a novel active learning framework for SVM-based and boosting-based rank learning. Our approach suggests sampling based on maximizing the estimated loss differential over unlabeled data. Experimental results on two benchmark corpora show that the proposed model substantially reduces the labeling effort, and achieves superior performance rapidly with as much as 30% relative improvement over the margin-based sampling baseline.
Analysis of the Transient Delay in a Discrete-Time Buffer with Batch Arrivals
Authors: Joris Walraevens, Dieter Fiems, Herwig Bruneel
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

We perform a discrete-time analysis of the delay of customers in a FIFO buffer with batch arrivals. The numbers of arrivals per slot are independent and identically distributed variables. Since the arrivals come in batches, the delays of the subsequent customers do not constitute a Markov chain, which complicates the analysis. By using generating functions and the supplementary variable technique, moments of the delay of the $k$-th customer are calculated.
A quantitative analysis of the .NET common language runtime
Authors: Joshua R. Dick, Kenneth B. Kent, Joseph C. Libby
Venue: Journal of Systems Architecture: the EUROMICRO Journal (2008)

Microsoft's .NET platform has been developed to simplify development of Windows applications. The execution environment at the heart of this platform is a virtual machine known as the common language runtime (or CLR). The goal of this paper is to present a comprehensive behavioral analysis of the CLR instruction set and the high level language support. This will aid in the development of a hardware implementation of the CLR, similar to techniques applied to the Java virtual machine. The pertinent data is extracted using a profiling application while executing a benchmark application. We have analyzed this data with respect to access patterns for data types, addressing modes, instruction set utilization, execution time requirements, method invocation behavior and the effects of object orientation. Conclusions and recommendations are presented that will aid in the future development of a hardware implementation.
An algorithm of evolutionarily stable strategies for the single-population evolutionary game
Authors: Zhi Lin
Venue: Journal of Computational and Applied Mathematics (2008)

In this paper, we study the single-population evolutionary game and construct an algorithm to find evolutionarily stable strategies. Finally, by an example, we illuminate the computing process of algorithm.
The Future of Automatic EEG Monitoring in the Intensive Care
Authors: Beena Ahmed, Reza Tafreshi, Reza Langari
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

Seizures in the intensive care unit (ICU) tend to go unnoticed due to the absence of appropriate EEG monitoring systems resulting in high levels of mortality. This paper looks at the requirements of an automated EEG monitoring system for use in the ICU. It also investigates the current state of knowledge and highlights areas in need of further work.
A Formal Framework for Interactive Agents
Authors: Carolyn L. Talcott
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2008)

This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features of different points in the design space, and to develop executable specifications of specific agents and study their interactions with the environment. A long term goal is development of reasoning principles specialized to different regions of the design space.
A parameterless differential evolution optimizer
Authors: Jason Teo, Yunus Hamid
Venue: Proceedings of the 5th WSEAS/IASME International Conference on Systems Theory and Scientific Computation (2005)

Although the Differential Evolution (DE) algorithm has been shown to be a simple yet powerful evolutionary algorithm for optimizing continuous functions, users are still faced with the problem of preliminary testing and hand-tuning of the evolutionary parameters prior to commencing the actual optimization process. As a solution, self-adaptation has been found to be highly beneficial in automatically and dynamically adjusting evolutionary parameters such as crossover rates and mutation rates. In this paper, we present a first attempt at self-adapting the population size parameter in addition to self-adapting crossover and mutation rates. Firstly, our main objective is to demonstrate the feasibility of self-adapting the population size parameter in DE. Using the F1-F5 benchmark test problems proposed by De Jong, we showed that DE with self-adaptive populations produced highly competitive results compared to a conventional DE algorithm with static populations. In addition to reducing the number of parameters used in DE, the proposed algorithm actually outperformed the conventional DE algorithm for one of the test problems. It was also found that that an absolute encoding methodology for self-adapting population size in DE produced results with greater optimization reliability compared to a relative encoding methodology.
Collaborative Wireless Information Granulation Architecture
Authors: Evtim Peytchev, Ismail Kuchukdurgut
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

As we move further into the age of machine intelligence and automated reasoning, one daunting problem becomes harder and harder to master. The problem is - how can we cope with the explosive growth in data, information, and knowledge? How can we locate and infer from decision-relevant information that is embedded in a large database that is unstructured, imprecise, and not totally reliable. [Zadeh] This paper introduces an architecture which is design to start offering solutions to some of these problems. The architecture is based on wireless connectivity mobile network where the participants collaboratively.
A novel approach to DFM in toolmaking: a case study
Authors: J. Valentincic, D. Brissaud, M. Junkar
Venue: International Journal of Computer Integrated Manufacturing (2007)

A novel approach to avoid the knowledge gap between design and production is presented in this paper. The main idea is to build a system in the form of a computer program whose core is the manufacturing expert systems to be used by the product designer. The system reveals critical features of the designed product from the manufacturing point of view and points them out to the product designer. The product designer can decide whether to change the critical part of the product or not. The system presented in this paper is prepared for the toolmaking, where a lot of relatively cheap products are made by one relatively expensive tool. Since the shape of the cavity in the tool is the negative shape of the product, small changes in the product design can significantly reduce the manufacturing costs of the tool.
The M/M/1 retrial queue with retrials due to server failures
Authors: G. I. Falin
Venue: Queueing Systems: Theory and Applications (2008)

Sherman and Kharoufeh (Oper. Res. Lett. 34:697---705, [2006]) considered an M/M/1 type queueing system with unreliable server and retrials. In this model it is assumed that if the server fails during service of a customer, the customer leaves the server, joins a retrial group and in random intervals repeats attempts to get service. We suggest an alternative method for analysis of the Markov process, which describes the functioning of the system, and find the joint distribution of the server state, the number of customers in the queue and the number of customers in the retrial group in steady state.
On the expressibility of functions in XQuery fragments
Authors: Jan Hidders, Stefania Marrara, Jan Paredaens, Roel Vercammen
Venue: Information Systems (2008)

XQuery is a powerful XML query language with many features and syntactic constructs. For many common queries we do not need all the expressive power of XQuery. We investigate the effect of omitting certain features of XQuery on the expressive power of the language. We start from a simple base fragment which can be extended by several optional features being aggregation functions such as count and sum, sequence generation, node construction, position information in for loops, and recursion. In this way we obtain 64 different XQuery fragments which can be divided into 17 different equivalence classes such that two fragments can express the same functions if they are in the same equivalence class. Moreover, we investigate the relationships between these equivalence classes and derive some properties of the fragments within these equivalence classes.
Chemical engineering of silicon oxide surfaces using micro-contact printing for localizing adsorption events of nanoparticles, dendrimers and bacteria
Authors: Jean-Christophe Cau, Aline Cerf, Christophe Thibault, Mike Geneviève, Childérick Séverac, Jean-Pierre Peyrade, Christophe Vieu
Venue: Microelectronic Engineering (2008)

A simple surface chemical bi-functionalization procedure, involving micro-contact printing of silane molecules is presented. The printing process has been optimized for obtaining high quality layers of good homogeneity. The produced chemical templates are used in order to spatially localize the adsorption of different entities diluted in liquid solution. By combining optical and Atomic Force microscopy we confirm the selective adsorption of gold nanoparticles, dendrimers and bacteria.
Cross-cultural knowledge communication in online communities of practice
Authors: P. Clint Rogers, Mari Vawn Tinney, Andrew S. Gibbons
Venue: International Journal of Web Based Communities (2008)

Concepts associated with knowledge communication add value and complexity to the traditional Western educational models, which have focused mainly on the individual as the unit of analysis. This paper extends past the individual level and builds on the concepts of communicating knowledge from the perspective of Communities of Practice (CoP) (Lave and Wenger, 1991), particularly those educational communities which are online and cross-cultural. We begin by considering the nature of knowledge and reality. In light of considering communicating knowledge from the perspective of CoP, we explore the cultural differences and disconnects in expectations regarding communication. We recommend a bridge-building model (Rogers et al., 2007) and some types of platform functionality for communicating knowledge in cross-cultural online communication. We explore how this approach facilitates the transformational process of developing intercultural competence, which in turn enhances the generation, communication and application of knowledge in global CoP.
An holistic framework for regular virtual topology design
Authors: Olufemi Komolafe, David Harle
Venue: IEEE/ACM Transactions on Networking (TON) (2007)

A bifurcated approach is typically adopted to the regular virtual topology design problem. By exploiting key metrics that affect optimization solutions, it is shown that easily computed parameters, pertaining to the spread in inter-nodal distances and the spread in inter-nodal traffic, are descriptive and appropriate means to characterize problem inputs, the physical topology and the traffic matrix. The juxtaposition between these parameters and the optimization results is explored, culminating in the development of a novel holistic framework for regular virtual topology design. This framework offers the possibility of simplifying regular virtual topology design by presenting the different traditional design approaches as being nuances of a single overarching problem and suggesting criteria for choosing the most expedient design approach.
MimEc: intelligent user notification of faults in the eclipse IDE
Authors: Lucas M. Layman, Laurie A. Williams, Robert St. Amant
Venue: Proceedings of the 2008 international workshop on Cooperative and human aspects of software engineering (2008)

The earlier in the software process a fault is detected, the cheaper the cost of fixing the fault. Automated fault detection tools can provide developers with information throughout development, however, programming is a cognitively complex process and inundating the developer with information may do more harm than good. In this paper, we present MimEc, a part of the AWARE plug-in for the Eclipse integrated development environment. MimEc presents fault information to developers while they are writing code. The purpose of MimEc is to display only those faults in which a developer may be interested, thereby increasing the likelihood the developer will address the fault. MimEc infers interest in a fault based on fault criticality, relevance of the fault to the developer's current working context, and the developer's interactions with the programming environment. MimEc is currently under development and will be evaluated in both academic and professional settings.
KNOWLEDGE-BASED VALIDATION FOR HYDROLOGICAL INFORMATION SYSTEMS
Authors: Ricardo Conejo, Eduardo Guzmán, José-Luis Pérez-de-la-Cruz
Venue: Applied Artificial Intelligence (2007)

The introduction of systems for automatic data acquisition to monitor and control hydrological basins is a qualitative change in the field of hydrology. The large amount of information available increases the number of processes that can be analyzed with a quantitative approach. In the past, hydrological data validation was done manually by applying the knowledge of experts in the field. This article proposes to solve this problem using AI techniques. As a result, a generic model is defined for the cognitive task of data validation. The model is then applied to a real case.
Information-theoretic Approaches Based on Sequential Monte Carlo to Collaborative Distributed Sensors for Mobile Robot Localization
Authors: Zhiwei Liang, Xudong Ma, Xianzhong Dai
Venue: Journal of Intelligent and Robotic Systems (2008)

We consider the Sequential Monte Carlo (SMC) method for Bayesian inference applied to the problem of information-theoretic distributed sensor collaboration in complex environments. The robot kinematics and sensor observation under consideration are described by nonlinear models. The exact solution to this problem is prohibitively complex due to the nonlinear nature of the system. The SMC method is, therefore, employed to track the probabilistic kinematics of the robot and to make the corresponding Bayesian estimates and predictions. To meet the specific requirements inherent in distributed sensors, such as low-communication consumption and collaborative information processing, we propose a novel SMC solution that makes use of the particle filter technique for data fusion, and the density tree representation of the a posterior distribution for information exchange between sensor nodes. Meanwhile, an efficient numerical method is proposed for approximating the information utility in sensor selection. A further experiment, obtained with a real robot in an indoor environment, illustrates that under the SMC framework, the optimal sensor selection and collaboration can be implemented naturally, and significant improvement in localization accuracy is achieved when compared to conventional methods using all sensors.
Towards effective document clustering: A constrained K-means based approach
Authors: Guobiao Hu, Shuigeng Zhou, Jihong Guan, Xiaohua Hu
Venue: Information Processing and Management: an International Journal (2008)

Document clustering is an important tool for document collection organization and browsing. In real applications, some limited knowledge about cluster membership of a small number of documents is often available, such as some pairs of documents belonging to the same cluster. This kind of prior knowledge can be served as constraints for the clustering process. We integrate the constraints into the trace formulation of the sum of square Euclidean distance function of K-means. Then,the combined criterion function is transformed into trace maximization, which is further optimized by eigen-decomposition. Our experimental evaluation shows that the proposed semi-supervised clustering method can achieve better performance, compared to three existing methods.
Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST)
Authors: Chuan Feng, Jerzy W. Rozenblit, Allan Hamilton
Venue: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (2008)

The Virtual Assistive Surgical Trainer (VAST) is an approach developed to train surgeons in minimally invasive procedures. It uses surgical instruments augmented with micro-sensors, and knowledge-based inference techniques to provide objective, data-driven feedback and performance assessment for complex exercises. The assessment is typically based on the expertise of senior surgeons and, thus, a single objective standard is difficult to define. To formulate such a standard, and to provide an accurate scoring method, a fuzzy logic method is proposed in this paper. This makes it easier to mimic tasks that are already successfully performed by human experts. A multi-level fuzzy inference engine and new performance metrics are implemented. Experimental results demonstrate the feasibility of this method and the efficacy of the new performance metrics.