ppxscal/embedding_network huggingface dataset:
Performance Evaluation of Data Management Layer by Data Sharing Patterns for Grid RPC Applications
Authors: Yoshihiro Nakajima, Yoshiaki Aida, Mitsuhisa Sato, Osamu Tatebe
Venue: Proceedings of the 14th international Euro-Par conference on Parallel Processing (2008)

Grid RPC applications, typically master-slave type of applications, often need to share large size of data among workers. For efficient and flexible data sharing among a master and workers, we have designed and developed a data management layer called OmniStorage. This paper enhances the OmniStorage functionality to accommodate several data transfer methods and to specify a hint for data sharing patterns, and develops a set of synthetic benchmarks based on data sharing patterns required by grid RPC applications to evaluate the performance and characteristics of each data transfer method. The performance evaluation and the hint help to select a suitable data transfer method, which improves the efficiency and also scalability of grid RPC applications that need to share large size of data among a master and workers.
A Novel Approach Based on Logistic Regression and Bayesian for Relevance Feedback in Content-Based Image Retrieval
Authors: Jun Kong, Xuefeng Wang, Zhen Liu, Xiaohua Zhang, Jingxia Cui, Jingbo Zhang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 2 - Volume 02 (2008)

This paper presents a new relevance feedback (RF) method for image retrieval in content-based image retrieval (CBIR). The main conception of the method gives two aspects: First logistic regression adjusts the weight of each element in features extracted from the images in database with the preferences of the user. Then following a Bayesian methodology, which yields the posteriori of the images in the database and used to show to the user a new set of images. The retrieval system is repeating until he/she is satisfied or the target image has been found. Experimental results show the superiority of the proposed method.
OperettA: a prototype tool for the design, analysis and development of multi-agent organizations
Authors: Daniel Okouya, Virginia Dignum
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers (2008)

OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specification of the organization model, and is prepared to generate a simulation of the application domain.
CoBoxes: Unifying Active Objects and Structured Heaps
Authors: Jan Schäfer, Arnd Poetzsch-Heffter
Venue: Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems (2008)

Concurrent programming in object-oriented languages is a notoriously difficult task. We propose coboxes --- a novel language concept which combines and generalizes active objects and techniques for heap structuring. CoBoxes realize a data-centric approach that guarantees mutual-exclusion for groups of objects. This is important for more complex data structures with invariants ranging over several objects. CoBoxes support multiple entry objects, several cooperating tasks in a cobox, and nesting of coboxes for composition and internal parallelism. Communication between coboxes is handled by asynchronous method calls with futures, which is in particular suitable for distributed programming. In this paper, we explain how aspects of concurrent programming can be solved by coboxes. We develop a core language for coboxes and present a formal operational semantics for this language.
Settle3D-A numerical generator for artificial porous media
Authors: G. Blöcher, G. Zimmermann
Venue: Computers Geosciences (2008)

Reservoir rocks, regardless of what kind (oil-, gas- or water-bearing), are classified by their specific properties. Most rock properties, such as storage, permeability, electric conductivity, heat capacity and so on are determined by laboratory experiments and field tests under different external conditions. Besides temperature, pressure and chemical reactions, also the geometry of the pore space as well as porosity control the specific behaviour of a rock. In most experiments, heterogeneous deformation of the pore space, changes in porosity and inner surface or closing of micro-cracks or pore-throats, cannot be observed directly. To study the dynamic processes behind these changes, we developed the sedimentary tool ''Settle3D''. With this software it is possible to generate different clastic rocks in a discrete way, which means that each grain inside this rock can be handled separately. The resulting porous medium can be directly used as import structure for different mechanical, hydraulic and thermal simulations. So the structural information of rocks can be linked to the petrophysical behaviour of porous media. To address these questions, we will present the development as well as the possibilities of ''Settle3D''. These include the generation of various 3D grainpacks, handling of input parameters (such as grain size distribution of different materials), sedimentary processes via direct collision procedures and an analysis of the final pore space geometry.
A Design Rationale-Based Model as an Add-on to Electronic Medical Records
Authors: Cleo Zanella Billa, Claudia Barsottini, Jacques Wainer
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

In health care settings, interactions between providers are uncommon. This study shows that electronic medical records currently available do not favor interactive work and thus a model of design rationale applied to health care is proposed. This model works as an extension to electronic medical records and intends to promote collaborative work among health care providers.
Graphical Representation as a Factor of 3D Software User Satisfaction: A Metric Based Approach
Authors: Apostolos Ampatzoglou, Alexandros Chatzigeorgiou, Ioannis Stamelos
Venue: Proceedings of the 2008 Panhellenic Conference on Informatics (2008)

During the last few years, an increase in the development and research activity on 3D applications, mainly motivated by the rigorous growth of the game industry, is observed. This paper deals with assessing user satisfaction, i.e. a critical aspect of 3D software quality, by measuring technical characteristics of virtual worlds. Such metrics can be easily calculated in games and virtual environments of different themes and genres. In addition to that, the metric suite would provide an objective mean of comparing 3D software. In this paper, metrics concerning the graphical representation of a virtual world are introduced and validated through a pilot experiment.
Crossbar Composite Spring-Nets to Optimize Multi-Agent Systems and Computer Networks
Authors: Dianxun Shuai
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence (2008)

Elastic nets (EN) have been effectively used in the traveling salesman problem (TSP), the prediction problem of protein structure, and so on. Nevertheless the limitations of the EN theory and its architecture seriously prevent the EN approach from the application for problem-solving of multi-agent systems (MAS) and computer networks (CN). This paper presents a crossbar composite spring-nets (CCSN) approach to MAS and CN, which transforms the optimization problem of MAS and CN into the evolutionary dynamics of crossbar composite spring nets. The CCSN approach is essentially different from EN and has many advantages over EN in terms of the problem-solving performance and the suitability for complex environment in MAS and CN.
A novel approach for measuring agility in manufacturing firms
Authors: Ibrahim H. Garbie, Hamid R. Parsaei, Herman R. Leep
Venue: International Journal of Computer Applications in Technology (2008)

Manufacturing firms have great interest in developing their manufacturing systems to be more competitive in terms of flexibility and agility. Agile Manufacturing Systems (AMS) will be considered as the next industrial revolution. They are manufacturing and/or management philosophies that integrate the available technology, people, manufacturing strategies, and management systems. Although agility is the set of capabilities and competences that the manufacturing firms need to thrive and prosper in a continuously changing and unpredictable business environment, measuring the level of agility in these firms is still unexplored according to the capabilities and competences. As there are many important components (issues) to be included in embracing AMS, there are also many important questions to be asked concerning the existing firm's agility level and how to assist in achieving enhancing agility more effectively. In this paper, a novel model will be proposed to measure the agility level of the manufacturing firms based on existing technologies, level of qualifying people, manufacturing strategies, and management systems and the business process. A complete case study will be presented.
Natural Interaction with a Robotic Head
Authors: O. Déniz, M. Castrillón, J. Lorenzo, L. Antón-Canalís
Venue: Proceedings of the 2nd international work-conference on The Interplay Between Natural and Artificial Computation, Part I: Bio-inspired Modeling of Cognitive Tasks (2007)

Social robots are receiving much interest in the robotics community. The most important goal for such robots lies in their interaction capabilities. This work describes the robotic head CASIMIRO, designed and built with the aim of achieving interactions as natural as possible. CASIMIRO is a robot face with 11 degrees of freedom. Currently, the robot has audio-visual attention (based on omnidirectional vision and sound localization abilities), face detection, head gesture recognition, owner detection, etc. The results of interviews with people that interacted with the robot support the idea that the robot has relatively natural communication abilities, although certain aspects should be further developed.
Online Regression Competitive with Changing Predictors
Authors: Steven Busuttil, Yuri Kalnishkan
Venue: Proceedings of the 18th international conference on Algorithmic Learning Theory (2007)

This paper deals with the problem of making predictions in the online mode of learning where the dependence of the outcome y t on the signal x t can change with time. The Aggregating Algorithm (AA) is a technique that optimally merges experts from a pool, so that the resulting strategy suffers a cumulative loss that is almost as good as that of the best expert in the pool. We apply the AA to the case where the experts are all the linear predictors that can change with time. KAARCh is the kernel version of the resulting algorithm. In the kernel case, the experts are all the decision rules in some reproducing kernel Hilbert space that can change over time. We show that KAARCh suffers a cumulative square loss that is almost as good as that of any expert that does not change very rapidly.
Software as a Service: An Integration Perspective
Authors: Wei Sun, Kuo Zhang, Shyh-Kwei Chen, Xin Zhang, Haiqi Liang
Venue: Proceedings of the 5th international conference on Service-Oriented Computing (2007)

Software as a Service (SaaS) is gaining momentum in recent years with more and more successful adoptions. Though SaaS is delivered over Internet and charged on per-use basis, it is software application in essence. SaaS contains business data and logics which are usually required to integrate with other applications deployed by a SaaS subscriber. This makes Integration become one of the common requirements in most SaaS adoptions. In this paper, we analyze the key functional and non-functional SaaS integration requirements from an industry practitioner point of view; and summarize the SaaS integration patterns and existing offerings; then point out the gaps from both technology and tooling perspectives; finally we introduce a SaaS integration framework to address those gaps. Considering there is no much academic work on SaaS service modeling, we come up with a SaaS service description framework as an extension of Web Service description, so as to model SaaS unique features in a unified way. With the supported tooling and runtime platform, the framework can facilitate the SaaS integration lifecycle in a model-driven approach.
Combining Proof-Producing Decision Procedures
Authors: Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Venue: Proceedings of the 6th international symposium on Frontiers of Combining Systems (2007)

Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability of producing conflict sets or explanations of their results is crucial. For expressiveness, constraints are usually built out in unions of theories and constraint solvers in such unions are obtained by modularly combining solvers for the component theories. In this paper, we consider the problem of modularly constructing conflict sets for a combined theory by re-using available proof-producing procedures for the component theories. The key idea of our solution to this problem is the concept of explanation graph, which is a labelled, acyclic and undirected graph capable of recording the entailment of some equalities. Explanation graphs allow us to record explanations computed by a proof-producing procedure and to refine the Nelson-Oppen combination method to modularly build conflict sets for disjoint unions of theories. We also study how the computed conflict sets relate to an appropriate notion of minimality.
Generation of Query-Biased Concepts Using Content and Structure for Query Reformulation
Authors: Youjin Chang, Jun Wang, Mounia Lalmas
Venue: Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems (2008)

This paper proposes an approach for query reformulation based on the generation of appropriate query-biased concepts. Query-biased concepts are generated from retrieved documents using their content and structure. In this paper, we focus on three aspects of the concept generation; the selection of query-biased concepts from retrieved documents, the effect of the structure, and the number of retrieved documents used for generating the concepts.
Cryptanalysis and Improvement on a Remote User Authentication Scheme Using Bilinear Pairings
Authors: Lijiang Zhang, Puwen Wei
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

With the rapid development of Internet service, remote user authentication scheme becomes an important issue for practical applications. Over the past years, many remote user authentication schemes have been proposed. In 2006, Wang and Chai proposed a remote user authentication scheme using bilinear pairings. In this paper, we show that Wang-Chai's scheme is still vulnerable to impersonation attack and propose an improved scheme to resist this attack. The proposed scheme also provides both mutual authentication and session key agreement.
Interference-less neural network training
Authors: Ji Hua Ang, Sheng-Uei Guan, Kay Chen Tan, Abdullah Al Mamun
Venue: Neurocomputing (2008)

The lack of segregation of input space for conventional neural networks (NNs) training often causes interference within the network. The interference-less neural network training (ILNNT) method employed in this paper reduces interference among input attributes by identifying those attributes that interfere with one another and separating them, while attributes that are mutually beneficial are grouped together. Separated attributes in different batches do not share the same hidden neurons while attributes within a batch are connected to the same hidden neurons. ILNNT is applied to widely used benchmark binary and multi-class classification problems and experimental results from K-fold cross validation show that there exist varying degrees of interference among the attributes for the datasets used and the classification accuracy produced by NNs with reduced interference is high.
Significance of Region of Interest Applied on MRI and CT Images in Teleradiology-Telemedicine
Authors: Tariq Javid Ali, Pervez Akhtar, M. Iqbal Bhatti, M. Abdul Muqeet
Venue: Medical Imaging and Informatics: 2nd International Conference, MIMI 2007, Beijing, China, August 14-16, 2007 Revised Selected Papers (2008)

Within the expanding paradigm of medical imaging in Teleradio- logy-Telemedicine, there is increasing demand for transmitting diagnostic medical imagery. These are usually rich in radiological contents, especially in slicing modalities, and the associated file sizes are large which must be compressed with minimal file size to minimize transmission time and robustly coded to withstand required network medium. It has been reinforced through extensive research that the diagnostically important regions of medical images, Regions of Interest, must be compressed by lossless or near lossless algorithm, while on the other hand, the background region be compressed with some loss of information but still recognizable using JPEG2000 standard. Applying on MRI and CT scan images achieved different high compression ratios with varying quantization levels analogously reduced transmission time depending on sources of energy, the MAXSHIFT method proved very effective both objectively and subjectively.
The dynamics involved in web-based learning environment (wle) interface design and human-computer interactions (hci): connections with learning performance
Authors: Terence C. Ahern
Venue:  (2007)

Distance education has always served as an option for students who could not attend school in a traditional way. However, educators know very little about online pedagogy and the related use of Web-based Learning Environment (WLE)s as instructional delivery and support systems for education. To make Web-based Instruction (WBI) a good experience, careful attention should be devoted to the elements that comprise the environment: the pedagogical and technical design components.The goal of this study was to investigate the dynamics involved in the HCI that take place within a WLE. The research objective was to examine the existing views of best practice of Web and instructional design by examining the relationship among the look and feel (visual and navigational aspects) of an instructional interface, learning performance of the students, and characteristics of the learner (prior knowledge and experience with computer and Internet, and cognitive styles).To examine the phenomena, the study used a mixed method, and employed a quantitative/qualitative quasi-experimental post-test only design. To test the degree of association among the learner comprehension of interface design, learning performance, and learner characteristics two different levels of an instructional interface were created: with enhancements and without enhancements. After the course enrollment period ended, participants were randomly assigned to the two WLE interfaces.From data analysis, results yielded the following major findings: (a) There was no significant difference in the learning performance means of the participants using the enhanced and nonenhanced interface, (b) a common set of aspects was valued, regardless of the level of the interface, (c) organization, presentation, and usefulness of navigation were identified as equally important elements of the WLE, and screen elements and graphic design were considered equally unimportant, (d) &ldquo;instruction&rdquo; was indicated the component that most affected learning performance. Also, no significant differences were found when comparing perceptions of interface usability over time. However, the non-enhanced interface group rated comfort level, clarity, ease in understanding, and organization higher than the enhanced-interface group did.While most of the research supports the relationship between the importance of good principles of Web design and usability and the quality of Web applications, findings of this study revealed that instead of course interface manipulation have improved the learning performance it might have added an extra layer of information for learners to deal with.
The MathSAT 4 SMT Solver
Authors: Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
Venue: Proceedings of the 20th international conference on Computer Aided Verification (2008)

We present MathSAT 4, a state-of-the-art SMT solver. MathSAT 4 handles several useful theories: (combinations of) equality and uninterpreted functions, difference logic, linear arithmetic, and the theory of bit-vectors. It was explicitly designed for being used in formal verification, and thus provides functionalities which extend the applicability of SMT in this setting. In particular: model generation (for counterexample reconstruction), model enumeration (for predicate abstraction), an incremental interface (for BMC), and computation of unsatisfiable cores and Craig interpolants (for abstraction refinement).
Supporting Collaboration between Visually Impaired and Sighted Children in a Multimodal Learning Environment
Authors: Erika Tanhua-Piiroinen, Virpi Pasto, Roope Raisamo, Eva-Lotta Sallnäs
Venue: Proceedings of the 3rd international workshop on Haptic and Audio Interaction Design (2008)

Visually impaired pupils are a group that teachers need to pay attention to especially when planning group work. The need for supporting collaboration between visually impaired and sighted people has been pointed out but still there are few evaluations on that. In this paper two studies are described concerning collaboration support for visually impaired and sighted children in a multimodal learning environment. Based on the results of the first study where two children used a multimodal single-user Space application together, the application was improved to better support collaboration. This prototype was then evaluated. According to the results it is worthwhile to provide individual input devices for all the participants in the group. For helping the pupils to achieve a common ground it is also important to provide sufficient support for all senses in a multimodal environment and to take care of the feedback about the haptic status of the environment also for the sighted participants.
Behavioural modelling using the MOESP algorithm, dynamic neural networks and the Bartels--Stewart algorithm
Authors: W. H. A. Schilders, P. B. L. Meijer, E. Ciggaar
Venue: Applied Numerical Mathematics (2008)

In this paper we discuss the use of the state-space modelling MOESP algorithm to generate precise information about the number of neurons and hidden layers in dynamic neural networks developed for the behavioural modelling of electronic circuits. The Bartels-Stewart algorithm is used to transform the information from the MOESP algorithm to the neural network formalism. The technique is related to the class of model order reduction algorithms that receives much attention in recent years, especially in the electronics industry.