ppxscal/embedding_network huggingface dataset:
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years
Authors: Daniel Yankelevich
Venue: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (2008)

I arrived in Italy to join Ugo's group after getting my MsC degree on December 1989, on a Friday night, after a 15 hours trip crossing the ocean. Saturday morning, at 7:30, I received a call at the apart hotel where I was staying. Ugo had the theory that it was better to get over jet lags as soon as possible. At 8:30 AM we had our first meeting to discuss categories, models for concurrent computation, and process algebras.After that, we had a lot of meetings. Sometimes the discussions were captured in papers that we published, but as very often happens in academia (too often for my taste) most of the knowledge was lost.
Locally Weighted LS-SVM for Fuzzy Nonlinear Regression with Fuzzy Input-Output
Authors: Dug Hun Hong, Changha Hwang, Jooyong Shim, Kyung Ha Seok
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

This paper deals with new regression method of predicting fuzzy multivariable nonlinear regression models using triangular fuzzy numbers. The proposed method is achieved by implementing the locally weighted least squares support vector machine regression where the local weight is obtained from the positive distance metric between the test data and the training data. Two types of distance metrics for the center and spreads are proposed to treat the nonlinear regression for fuzzy inputs and fuzzy outputs. Numerical studies are then presented which indicate the performance of this algorithm.
A Fast Scheme for Multiscale Signal Denoising
Authors: Vittoria Bruni, Benedetto Piccoli, Domenico Vitulano
Venue: Proceedings of the 5th international conference on Image Analysis and Recognition (2008)

This paper exploits the time scale structure of the wavelet coefficients for implementing a novel and fast scheme for signal and image denoising. The time scale behavior of the coefficients is rigorously modeled through superposition of simple atoms using suitable projection spaces. This result allows us to avoid expensive numerical schemes requiring a low computational effort. Extensive experimental results show the competitive performances of the proposed approach.
Applying a Dynamic Data Driven Genetic Algorithm to Improve Forest Fire Spread Prediction
Authors: Mónica Denham, Ana Cortés, Tomàs Margalef, Emilio Luque
Venue: Proceedings of the 8th international conference on Computational Science, Part III (2008)

This work represents the first step toward a DDDAS for Wildland Fire Prediction where our main efforts are oriented to take advantage of the computing power provided by High Performance Computing systems to, on the one hand, propose computational data driven steering strategies to overcome input data uncertainty and, on the other hand, to reduce the execution time of the whole prediction process in order to be reliable during real-time crisis. In particular, this work is focused on the description of a Dynamic Data Driven Genetic Algorithm used as steering strategy to automatic adjust certain input data values of forest fire simulators taking into account the underlying propagation model and the real fire behavior.
Real-Time Rendering of Gas Phenomena around Single Building
Authors: He Guo, Yuxin Wang, Jun Tang, Tianyang Liu
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 5 - Volume 05 (2008)

Based on the real-time fluid simulating method in the field of volume and surface rendering, gas phenomena can be rendered by using semi-Lagrange algorithm in three-dimensional volume environment. Combined with the large eddy model of single building, simulation of turbulent wind field around building by simplified eddy model can decrease the complexity, and add details to render. The mirror reflection method of simulation the alternation between building and fluid can avoid the change caused by shape of the building. The rendering and simulation of gas phenomena around building has been accomplished at lower cost.
Real-Time Trajectory Generation for Mobile Robots
Authors: Alireza Sahraei, Mohammad Taghi Manzuri, Mohammad Reza Razvan, Masoud Tajfard, Saman Khoshbakht
Venue: Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing (2007)

This paper presents a computationally effective trajectory generation algorithm for omni-directional mobile robots. This method uses the Voronoi diagram to find a sketchy path that keeps away from obstacles and then smooths this path with a novel use of Bezier curves. This method determines velocity magnitude of a robot along the curved path to meet optimality conditions and dynamic constrains using Newton method. The proposed algorithm has been implemented on real robots, and experimental results in different environments are presented.
A Whether Forecast
Authors: Kjell Johan Sæbø
Venue: Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers (2007)

It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called emotive factive predicates are only felicitous with some, not all, indirect question complements. But the reasons for these two constraints have remained unclear. I propose a competition-based explanation in terms of optimality theoretic pragmatics: Due to the competition with factive predicates, predicates like believe are infelicitous with complements automatically verifying the factive presupposition; and emotive factive predicates are infelicitous with wh- complements to the extent that these complements compete with more informative that complements. To arrive at these results, it is necessary to assume an analysis of questions on which they denote propositions and to be more careful than has been customary about the formulation of the presuppositions of factive and what I call super-factive predicates. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Dealing with Small, Noisy and Imbalanced Data
Authors: Adam Przepiórkowski, Michał Marcińczuk, Łukasz Degórski
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

This paper deals with the task of definition extraction with the training corpus suffering from the problems of small size, high noise and heavy imbalance. A previous approach, based on manually constructed shallow grammars, turns out to be hard to better even by such robust classifiers as SVMs, AdaBoost and simple ensembles of classifiers. However, a linear combination of various such classifiers and manual grammars significantly improves the results of the latter.
Statistical Optimization for Geometric Fitting: Theoretical Accuracy Bound and High Order Error Analysis
Authors: Kenichi Kanatani
Venue: International Journal of Computer Vision (2008)

A rigorous accuracy analysis is given to various techniques for estimating parameters of geometric models from noisy data. First, it is pointed out that parameter estimation for vision applications is very different in nature from traditional statistical analysis and hence a different mathematical framework is necessary. After a general framework is formulated, typical numerical techniques are selected, and their accuracy is evaluated up to high order terms. As a byproduct, our analysis leads to a "hyperaccurate" method that outperforms existing methods.
Interpersonal Impressions of Agents for Developing Intelligent Systems
Authors: Kaoru Sumi, Mizue Nagata
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

This paper reports an experiment on the interpersonal impressions given by a character agent.When one is developing intelligent systems, it is important to consider how provide this feeling of affinity with the system and the presence for communicating with the system that has human-like intelligent functions such as recommendation or persuasion [1]. According to Media Equation [2], people treat computers, television, and new media as real people and places, so if an agent behaves in a disagreeable manner to users, it makes the users uncomfortable.
Learning Fuzzy Control of Nonlinear Processes
Authors: Vytautas Kaminskas, Raimundas Liutkevičius
Venue: Informatica (2005)

Due to high nonlinearities and time-varying dynamics of today's control systems fuzzy learning controllers find appliance in practice. The present paper proposes a method for the synthesis of the learning fuzzy controllers where an expert knowledge about a process is applied to form a learning mechanism that is used to acquire information for the knowledge base of the main fuzzy controller. According to the proposed method an expert knowledge is used to describe how the controller should learn to control rather than to control the process. The results of experiments on heating system and level/pressure system prove the practical relevance of the design strategy of a learning fuzzy controller.
Brief paper: Simultaneous Schur stability of interval matrices
Authors: Mau-Hsiang Shih, Chin-Tzong Pang
Venue: Automatica (Journal of IFAC) (2008)

Interval matrix structures are ubiquitous in nature and engineering. Ordinarily, in an uncertain system there is associated with a set of coupled interval matrices, a basic issue of exploring its asymptotic stability. Here we introduce the notion of simultaneous Schur stability by linking the concepts of the majorant and the joint spectral radius, and prove the asymptotic stability of a set of interval matrices governed by simultaneous Schur stability. The present result may lead to the stability analysis of discrete dynamical interval systems.
Understanding Object Oriented Programming Concepts in an Advanced Programming Course
Authors: Tamar Benaya, Ela Zur
Venue: Proceedings of the 3rd international conference on Informatics in Secondary Schools - Evolution and Perspectives: Informatics Education - Supporting Computational Thinking (2008)

Teaching Object Oriented Programming (OOP) is a difficult task, both for teachers who have to find the best way to illustrate the concepts and for students who have to understand them. Although the OOP paradigm and its concepts reflect the "real world", it has been shown that students find hard to understand and internalize the OOP concepts such as encapsulation, inheritance and polymorphism. This paper describes difficulties in understanding OOP in an Advanced Java course given at the Computer Science Department of the Open University of Israel. We present a typical question which focuses on several aspects of OOP. We discuss the students' answers and point out typical hardships in grasping the topic.
Contextual Cognitive Map
Authors: Lionel Chauvin, David Genest, Stéphane Loiseau
Venue: Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning (2008)

The model of cognitive maps introduced by Tolman [1] provides a representation of an influence network between notions. A cognitive map can contain a lot of influences that makes difficult its exploitation. Moreover these influences are not always relevant for different uses of a map. This paper extends the cognitive map model by describing the validity context of each influence with a conceptual graph. A filtering mechanism of the influences according to a use context is provided so as to obtain a simpler and more adjusted map for a user. A prototype that implements this model of contextual cognitive map has been developed.
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC
Authors: Liesbeth Mol, Maarten Bullynck
Venue: Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms (2008)

The first extensive number-theoretical computation run on the ENIAC, is reconstructed. The problem, computing the exponent of 2 modulo a prime, was set up on the ENIAC during a week-end in July 1946 by the number-theorist D.H. Lehmer, with help from his wife Emma and John Mauchly. Important aspects of the ENIAC's design are presented and the reconstruction of the implementation of the problem on the ENIAC is discussed in its salient points.
Florida's Universities Tackle the IT Curriculum
Authors: William D. Armitage, Arthur I. Karshmer
Venue: IT Professional (2003)

Employers complain that their new IT workers graduate from college without real-world know-how. But what is IT, and how do you teach it?
Searching for Part of Speech Tags That Improve Parsing Models
Authors: Martín Ariel Domínguez, Gabriel Infante-Lopez
Venue: Proceedings of the 6th international conference on Advances in Natural Language Processing (2008)

We introduce a technique for inducing a refinement of the set of part of speech tags related to verbs. We cluster verbs according to their syntactic behavior in a dependency structure setting. The set of clusters is automatically determined by means of a quality measure over the probabilistic automata that describe words in a bilexical grammar. Each of the resulting clusters defines a new part of speech tag. We try out the resulting tag set in a state-of-the art phrase structure parser and we show that the induced part of speech tags significantly improve the accuracy of the parser.
A Flexible Behavioral Planner in Real-Time
Authors: Etienne Sevin
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

Often real-time behavioral planner can not adapt to the change of the environments and be interrupted if it is necessary. Although Hierarchy is needed to obtain complex and proactive behaviors, some functionality should give flexibility to these hierarchies. This paper describes our motivational model of action which integrates a hierarchical and flexible behavioral planner.
The Effect of Providing Error-Flagging Support During Testing
Authors: Amruth Kumar
Venue: Proceedings of the 9th international conference on Intelligent Tutoring Systems (2008)

We evaluated the effect of providing error-flagging, i.e., error detection but not error-correction support, during testing. We found that error-flagging is not a substitute for knowing the correct answer. It does not help students game the tutor. But, it does help students improve their test score.
Exploring the link between teachers' educational belief profiles and different types of computer use in the classroom
Authors: Jo Tondeur, Ruben Hermans, Johan van Braak, Martin Valcke
Venue: Computers in Human Behavior (2008)

The purpose of the study reported in this article was to analyse the relationship between teachers' educational beliefs and their typical approach to computer use in the classroom. In this context, the question arises whether particular profiles of teachers can be distinguished based on their beliefs about good education. A survey of 574 elementary school teachers was conducted that focused both on teachers' traditional or constructivist beliefs about education and on different types of computer use: 'computers as an information tool', 'computers as a learning tool' and 'basic computers skills'. Cluster analysis resulted in four distinct teacher profiles, reflecting relatively homogeneous scale scores, based on varying levels of traditional and constructivist beliefs teachers hold about education. Overall results indicate that teachers with relatively strong constructivist beliefs who also have strong traditional beliefs report a higher frequency of computer use. In addition, results point at a specific relationship between teachers' belief profiles and how computers are used in the classroom. Implications for the role of educational beliefs in supporting teachers to integrate ICT in the classroom are discussed.
The context of the interface
Authors: Ian Ruthven
Venue: Proceedings of the second international symposium on Information interaction in context (2008)

Our ideas on context (from both a soft and hard laboratory perspective) often manifest themselves at the interface. Interfaces for information seeking range from systems which offer little contextual information or flexibility of use to systems which are highly driven by the searcher's individual interaction. In this talk I will use existing search interfaces to highlight how the nature of information retrieval interfaces has changed in response to research from contextual IS&R. A particular theme will be the commercial nature of web search interfaces and how approaches such as persuasive and emotional design can be used to encourage interaction. I will also consider the nature of specialized versus general purpose search interfaces and the challenges raised in interface design. The (not very) hidden agenda behind this presentation will be to argue for an interaction-centered approach to IR systems.
Low-bandwidth VM migration via opportunistic replay
Authors: Ajay Surie, H. Andrés Lagar-Cavilla, Eyal de Lara, M. Satyanarayanan
Venue: Proceedings of the 9th workshop on Mobile computing systems and applications (2008)

Virtual machine (VM) migration has been proposed as a building block for mobile computing. An important challenge for VM migration is to optimize the transfer of large amounts of disk and memory state. We propose a solution based on the opportunistic replay of user interactions with applications at the GUI level. Whereas this approach results in very small replay logs that economize network utilization, replay of user interactions on a VM at the migration target site can result in divergent VM state. Cryptographic hashing techniques are used to identify and transmit only the differences. We discuss the implementation challenges of this approach, and present encouraging results from an early prototype that show savings of up to 80.5% of bytes transferred.
Learning Dance Movements by Imitation: A Multiple Model Approach
Authors: Axel Tidemann, Pinar Öztürk
Venue: Proceedings of the 31st annual German conference on Advances in Artificial Intelligence (2008)

Imitation learning is an intuitive and easy way of programming robots. Instead of specifying motor commands, you simply show the robot what to do. This paper presents a modular connectionist architecture that enables imitation learning in a simulated robot. The robot imitates human dance movements, and the architecture self-organizes the decomposition of movements into submovements, which are controlled by different modules. Modules both dominate and collaborate during control of the robot. Low-level examination of the inverse models (i.e. motor controllers) reveals a recurring pattern of neural activity during repetition of movements, indicating that the modules successfully capture specific parts of the trajectory to be imitated.
A New Combination of Local Appearance Based Methods for Face Recognition under Varying Lighting Conditions
Authors: Heydi Méndez-Vázquez, Edel García-Reyes, Yadira Condes-Molleda
Venue: Proceedings of the 13th Iberoamerican congress on Pattern Recognition: Progress in Pattern Recognition, Image Analysis and Applications (2008)

This paper presents a different way of using DCT and LBP to com-pensate for illumination variations in face recognition with only one sample image per person. The sensitiveness to lighting variations of the LBP and DCT methods was investigated and from it emerged the proposed new method, consisting in discarding low-frequency DCT coefficients in the logarithm domain in a local way as a preprocessing step, and applying LBP method to represent the facial features. Experimental results on the Yale B database show that the proposal improves the performance of the original methods and their existing extensions.
A Fluent Calculus Semantics for ADL with Plan Constraints
Authors: Conrad Drescher, Michael Thielscher
Venue: Proceedings of the 11th European conference on Logics in Artificial Intelligence (2008)

Plan constraints are the most recent addition to the ever growing Planning Domain Definition Language (PDDL). In this work we consider the PDDL fragment consisting of basic ADL extended by plan constraints. We provide a purely declarative semantics for this fragment by interpreting it in the basic Fluent Calculus. We thus obtain a logical semantics for this fragment of PDDL instead of the usual meta-theoretical state transition semantics.
Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework
Authors: Michael DiBernardo, Rachel Pottinger, Mark Wilkinson
Venue: Journal of Biomedical Informatics (2008)

Researchers in the life-sciences are currently limited to small-scale informatics experiments and analyses because of the lack of interoperability among life-sciences web services. This limitation can be addressed by annotating services and their interfaces with semantic information, so that interoperability problems can be reasoned about programmatically. The Moby semantic web framework is a popular and mature platform that is used for this purpose. However, the number of services that are available to select from when building a workflow is becoming unmanageable for users. As such, attempts have been made to assist with service selection and composition. These tasks fall under the general label of automated service composition. We present a prototype workflow assembly client that reduces the number of choices that users have to make by (1) restricting the overall set of services presented to them and (2) ranking services so that the the most desirable ones are presented first. We demonstrate via an evaluation of this prototype that a unification of relatively simple techniques can rank desirable services highly while maintaining interactive response times.
A Novel Numerical Random Model of Short Fiber Reinforced Foams
Authors: Yong Wu, Bo Wang, Feiyu Han
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

Research on reinforced foams is getting heating, but the theoretic models of short fiber reinforced foams are still incomplete. This paper will discuss how a Random Sequential Adsorption Algorithm combines with a single tetrakaidecahedron of closed cell foams. As a result of research, a finite element numerical random analysis model will be set up. The model is used to compute the Young's modulus, strain and stress of the short fiber reinforced foams. The simulation results show that it is useful for advancing theories of the reinforced foams.
Digital computers: present and future trends
Authors: Jay W. Forrester
Venue: Papers and discussions presented at the Dec. 10-12, 1951, joint AIEE-IRE computer conference: Review of electronic digital computers (1951)

The Program Committee asked me to summarize the present status of digital computers; also to point up the better features of the machines described at this Conference, and to forecast trends to be expected in the future.