ppxscal/embedding_network huggingface dataset:
The Logic-ITA in the Classroom: A Medium Scale Experiment
Authors: Kalina Yacef
Venue: International Journal of Artificial Intelligence in Education (2005)

This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Teaching Assistant system, aimed at alleviating some of the problems caused by large classes or distance learning. Its domain of application is the construction of formal proofs in logic. The system acts as an intermediary between teacher and students: on one hand, it provides students with an environment to practice formal proofs with feedback and on the other hand it allows teachers to monitor the class's progress and mistakes. It is complementary in the sense that it does not aim to replace any of the existing interactions between teachers and students. Since its introduction, over 600 students have used the tool. Evaluation shows a significant improvement in students?assessment results with an effect size of around 1 sigma.
Optimal Design Centring Through a Hybrid Approach Based on Evolutionary Algorithms and Monte Carlo Simulation
Authors: Luis Pierluissi, Claudio M. Rocco S.
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part I (2007)

In many situations a robust design could be expensive and decision-makers need to evaluate a design that is not robust, that is, a design with a probability of satisfying the design specifications (or yield) less than 100 %. In this paper we propose a procedure for centring a design that maximises the yield, given predefined component tolerances. The hybrid approach is based on the use of Evolutionary Algorithms, Interval Arithmetic and procedures to estimate the yield percentage. The effectiveness of the method is tested on a literature case. We compare the special evolutionary strategy (1+1) with a genetic algorithm and deterministic, statistical and interval-based procedures for yield estimation.
Distributed collective practices in collaborative music performance
Authors: Demosthenes Akoumianakis, George Vellis, Ioannis Milolidakis, Dimitrios Kotsalis, Chrisoula Alexandraki
Venue: Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts (2008)

The paper reports on the design of a prototype system to facilitate intertwining of on-line and off-line practices during collaborative networked music master classes. Our approach links with recent theoretical thinking inspired from the concept of communities of practice and aims to devise a system to provide a virtual 'place' for engaging in the practice the community is about. This implies a focus not only on community management (i.e., discovering, building, maintaining community) but also on constructing and reconstructing practice using a suitable interactive practice vocabulary. We demonstrate the challenges involved in building domain-specific, practice-oriented interactive vocabularies for collaborative music lessons and report on our recent experiences on the interplay between on-line and off-line practice.
Balancing Gains, Risks, Costs, and Real-Time Constraints in the Ball Passing Algorithm for the Robotic Soccer
Authors: Vadim Kyrylov
Venue: RoboCup 2006: Robot Soccer World Cup X (2006)

We are looking for a generic solution for the optimized ball passing problem in the robotic soccer which is applicable to many digital simulated sports games with ball. In doing so, we show that previously published ball passing methods do not properly address the necessary balance between the anticipated rewards, costs, and risks. The multi-criteria nature of this optimization problem requires using the Pareto optimality approach. We propose a scalable and robust solution for decision making, as its quality degrades in a graceful way once the real time constrains are kicking in.
Word Sense Disambiguation Using Inductive Logic Programming
Authors: Lucia Specia, Ashwin Srinivasan, Ganesh Ramakrishnan, Maria Das Volpe Nunes
Venue: Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers (2007)

The identification of the correct sense of a word is necessary for many tasks in automatic natural language processing like machine translation, information retrieval, speech and text processing. Automatic Word Sense Disambiguation (WSD) is difficult and accuracies with state-of-the art methods are substantially lower than in other areas of text understanding like part-of-speech tagging. One shortcoming of these methods is that they do not utilize substantial sources of background knowledge, such as semantic taxonomies and dictionaries, which are now available in electronic form (the methods largely use shallow syntactic features). Empirical results from the use of Inductive Logic Programming (ILP) have repeatedly shown the ability of ILP systems to use diverse sources of background knowledge. In this paper we investigate the use of ILP for WSD in two different ways: (a) as a stand-alone constructor of models for WSD; and (b) to build interesting features, which can then be used by standard model-builders such as SVM. In our experiments we examine a monolingual WSD task using the 32 English verbs contained in the SENSEVAL-3 benchmark data; and a bilingual WSD task using 7 highly ambiguous verbs in machine translation from English to Portuguese. Background knowledge available is from eight sources that provide a wide range of syntactic and semantic information. For both WSD tasks, experimental results show that ILP-constructed models and models built using ILP-generated features have higher accuracies than those obtained using a state-of-the art feature-based technique equipped with shallow syntactic features. This suggests that the use of ILP with diverse sources of background knowledge can provide one way for making substantial progress in the field of automatic WSD.
Using empirical methods to improve industrial technology transfer
Authors: Harald Hönninger, Mark Müller
Venue: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008)

This keynote establishes a link between existing trends in the embedded (automotive) domain and the need for significant empirical evaluations of development methods. Software drives many innovations in cars such as new functions that increase passenger safety or convenience. A side-effect is the growing complexity of embedded systems: The number of systems and functions increases along with their internal complexity. In order to cope with this, Bosch is investing into the development of engineering methods and their evaluation. The audience will learn about: The role of Bosch Corporate Research as a catalyst for new technologies Experiences with processes and methods Activities in the area of empirical research and measurement The keynote will conclude with factors that are critical for success when using empirical methods in industrial settings and will provide an outlook on how empirical research can support industrial technology transfer.
Extraction of the Project Risk Knowledge on the Basis of a Project Plan
Authors: Yasunobu Kino, Kazuhiko Tsuda, Tadashi Tsukahara
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

When identifying project risks, a checklist created from the former projects tends to be used. However, each project has its uniqueness. If we would like to make a check list comprehensive and available for every project, it would end up containing large amount of items to be checked. Also that type of checklist could prevent a project manager from considering its essential risks in the project and make the risk identification process routine. As a result, it could decrease the effectiveness of risk management, especially when it's done by an entry-level project manager. In this research, methods for creating a useful checklist to reduce these problems are discussed, by using knowledge based risk identification support system which extracts a few yet important check items depending on the characteristics of a target project.
Behavioral matchmaking for service retrieval: Application to conversation protocols
Authors: Daniela Grigori, Juan Carlos Corrales, Mokrane Bouzeghoub
Venue: Information Systems (2008)

The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approaches for services retrieval are mostly limited to the matching of their inputs/outputs possibly enhanced with some ontological knowledge. Recent works have demonstrated that this approach is not sufficient to discover relevant components. In this paper we argue that, in many situations, the service discovery should be based on the specification of service behavior (in particular, the conversation protocol). The idea behind is to develop matching techniques that operate on behavior models and allow delivery of partial matches and evaluation of semantic distance between these matches and the user requirements. Consequently, even if a service satisfying exactly the user requirements does not exist, the most similar ones will be retrieved and proposed for reuse by extension or modification. To do so, we reduce the problem of behavioral matching to a graph matching problem and we adapt existing algorithms for this purpose. A prototype is presented (available as a web service) which takes as input two conversation protocols and evaluates the semantic distance between them.
Can We Beat the Complexity of Very Large-Scale Requirements Engineering?
Authors: Björn Regnell, Richard Berntsson Svensson, Krzysztof Wnuk
Venue: Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality (2008)

Competitive development of complex embedded systems such as mobile phones requires management of massive amounts of complex requirements. This paper defines and discusses orders of magnitudes in RE and implications of the highest order of magnitude that we have experienced in industrial settings. Based on experiences from the mobile phone domain we propose research areas that, if addressed successfully, may help beating the complexity of Very Large-Scale Requirements Engineering.
An Experimental Study on Home-Wireless Passive Positioning
Authors: Hairong Yan, Youzhi Xu, Mikael Gidlund, Ragnar Nohr
Venue: Proceedings of the 2008 Second International Conference on Sensor Technologies and Applications (2008)

In this article, we will discuss and evaluate a prototype of a wireless sensor network (WSN) elderly healthcare at primary care center and residential home. The main functions are to provide users (home assistants etc) with a degree of "understanding" of information about him, such that what he is doing, where he is, what his health activity is. One major feature in our experimental e-health prototype is positioning which can be used for determine the localization of the elderly in the apartment. For tracking and localization, we have proposed a positioning algorithm which is based on passive positioning. The obtained experimental results show that this prototype has high accuracy in localization and tracking.
Global Exponential Synchronization of Chaotic Neural Networks with Time Delays
Authors: Jigui Jian, Baoxian Wang, Xiaoxin Liao
Venue: Proceedings of the 4th international symposium on Neural Networks: Part II--Advances in Neural Networks (2007)

This Letter deals with the global exponential synchronization of a class of chaotic neural networks with time delays. Based on the the Halanay inequality technique and the Lyapunov stability theory, a delay-independent and decentralized control law is derived to ensure the exponential synchronization of the model and the simpler, less conservative and more efficient results are easy to be verified in engineering applications. Finally, an illustrative example is given to demonstrate the effectiveness of the presented synchronization scheme.
Fast Distributed Approximations in Planar Graphs
Authors: Andrzej Czygrinow, Michal Hańćkowiak, Wojciech Wawrzyniak
Venue: Proceedings of the 22nd international symposium on Distributed Computing (2008)

We give deterministic distributed algorithms that given ¿> 0 find in a planar graph G, (1±¿)-approximations of a maximum independent set, a maximum matching, and a minimum dominating set. The algorithms run in O(log*|G|) rounds. In addition, we prove that no faster deterministic approximation is possible and show that if randomization is allowed it is possible to beat the lower bound for deterministic algorithms.
Numerical solution of ordinary differential equations in fluctuationlessness theorem perspective
Authors: Nejla Altay, Metin Demiralp
Venue: Proceedings of the 1st WSEAS International Conference on Multivariate Analysis and its Application in Science and Engineering (2008)

This paper presents a new method based on Fluctuationlessness Theorem that was proven recently for getting the numerical solutions to the Ordinary Differential Equations over appropriately defined Hilbert Spaces. Approximations to the solution are evaluated at a series of discrete points. These points are constructed as the eigenvalues of the independent variable's matrix representation restricted to an n dimensional subspace of the Hilbert Space under consideration. The approximated solution is written in the form of an n-th degree polynomial of the independent variable. The unknown coefficients are found by setting up a system of linear equations such that this solution satisfies the initial condition and the differential equation at the grid points. The numerical quality of the solution can be increased by taking greater values of n.
Power Bus Signal Integrity Improvement and EMI Mitigation on Multilayer High-Speed Digital PCBs with Embedded Capacitance
Authors: Vittorio Ricchiuti
Venue: IEEE Transactions on Mobile Computing (2003)

The continuous technology trend in the telecommunication market toward higher operating frequencies and high processing performances will give rise to new sophisticated chip sets, processors, and RF transceivers which will demand new features to the PCB designs. As the complexity of the integrated circuits increases, Signal Integrity (SI) and ElectroMagnetic Compatibility (EMC) become key elements in the board design process. This paper analyzes the beneficial effects that a thin dielectric material between a pair of power and ground layers (embedded capacitance) has both in reducing power bus resonance amplitudes (SI approach) and radiated emissions (EMC approach) as well. Scattering parameter measurements carried out on the power bus of two production boards are presented and correlated with the electric field strength measurements conducted on the same boards in a semianechoic chamber.
Towards a Concrete Security Proof of Courtois, Finiasz and Sendrier Signature Scheme
Authors: Léonard Dallot
Venue: Research in Cryptology: Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers (2008)

Courtois, Finiasz and Sendrier proposed in 2001 a practical code-based signature scheme. We give a rigorous security analysis of a modified version of this scheme in the random oracle model. Our reduction involves two problems of coding theory widely considered as difficult, the Goppa Parametrized Bounded Decoding and the Goppa Code Distinguishing. 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
Understanding the embodied teacher: nonverbal cues for sociable robot learning
Authors: Cynthia Breazeal
Venue:  (2008)

As robots enter the social environments of our workplaces and homes, it will be important for them to be able to learn from natural human teaching behavior. My research seeks to identify simple, non-verbal cues that human teachers naturally provide that are useful for directing the attention of robot learners. I conducted two novel studies that examined the use of embodied cues in human task learning and teaching behavior. These studies motivated the creation of a novel data-gathering system for capturing teaching and learning interactions at very high spatial and temporal resolutions. Through the studies, I observed a number of salient attention-direction cues, the most promising of which were visual perspective, action timing, and spatial scaffolding. In particular, this thesis argues that spatial scaffolding, in which teachers use their bodies to spatially structure the learning environment to direct the attention of the learner, is a highly valuable cue for robotic learning systems. I constructed a number of learning algorithms to evaluate the utility of the identified cues. I situated these learning algorithms within a large architecture for robot cognition, augmented with novel mechanisms for social attention and visual perspective taking. Finally, I evaluated the performance of these learning algorithms in comparison to human learning data, providing quantitative evidence for the utility of the identified cues. As a secondary contribution, this evaluation process supported the construction of a number of demonstrations of the humanoid robot Leonardo learning in novel ways from natural human teaching behavior. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)
Radar Target Poles Extraction Based on the Damping Least Squares Algorithm
Authors: Guangxin Wu, Weibo Deng, Yanfeng Jin, Songyan Yang, Tao Wang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 2 - Volume 02 (2008)

A new poles extraction technique is presented based on modified damping least squares algorithm combined with matrix pencil method. Initial values of poles are obtained using matrix pencil method to overcome local convergence of nonlinear least squares. Stability of iterative algorithm is improved utilizing modified damping least squares algorithm instead of other methods. Perfect simulation results from conducting sphere show that the new technique is applicable for extraction poles of conducting targets and is a promising method compared with others methods.
Interactions between cooperation strategies in mobile ad hoc networks
Authors: Amr Hilal, Jawwad N. Chattha, Vivek Srivastava, Michael S. Thompson, Allen B. MacKenzie, Luiz A. DaSilva
Venue: Proceedings of the third ACM international workshop on Wireless network testbeds, experimental evaluation and characterization (2008)

Cooperation among nodes in an ad hoc network is essential for multi-hop communication. Non-cooperative or selfish nodes reduce (or cease) cooperation by refusing to forward packets for others. In this demo we showcase the interactions between various cooperation strategies and quantify their impact on timely delivery of traffic across multi-hop routes. The cooperation strategies are implemented under the Linux operating system and run on an ad hoc network composed of virtual nodes on multiple physical workstations. The demo includes an interactive component that allows the audience to select the cooperation strategy to run on each individual network node and observe the effects of the selected combination of strategies on network performance. The mobility between nodes is emulated from connectivity traces gathered at the 2007 MANIAC Challenge.
IP Traceback Using Digital Watermark and Honeypot
Authors: Zaiyao Yi, Liuqing Pan, Xinmei Wang, Chen Huang, Benxiong Huang
Venue: Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing (2008)

Nowadays, The widespread networks are intensively threatened by Internet attack. It's highly urgent to traceback the attack origination, neutralize the attack and punish the malicious attackers. There are many IP traceback methods, but none of the existing solutions can fulfill all the effective traceback requirements. This paper proposed a novel IP traceback scheme. In this scheme, an elaborate digital watermark is put into a honeypot, and the probe-scan-entrap the attacks through the honeypot, which sequentially induces the attacks to visit the digital watermark. Thus in the overlay network, the trail of the digital watermark will reconstruct the attack route so that the hacker's address can be located. It is very difficult to carry out single packet traceback in traditional methods and their measures heavily depend on the router capability, the network administrators' and co-operation between ISPs. Our proposal has solved such problems and it can against attacks through proxy or slave hosts.
Local Orientation Extraction for Wordspotting in Syriac Manuscripts
Authors: P. Bilane, S. Bres, H. Emptoz
Venue: Proceedings of the 3rd international conference on Image and Signal Processing (2008)

This paper presents a contribution to Word Spotting applied for digitized Syriac manuscripts. The Syriac language was wrongfully accused of being a dead language and has been set aside by the domain of handwriting recognition. Yet it is a very fascinating handwriting that combines the word structure and calligraphy of the Arabic handwriting with the particularity of being intentionally written tilted by an angle of approximately 45°. For the spotting process, we developed a method that should find all occurrences of a certain query word image, based on a selective sliding window technique, from which we extract directional features and afterwards perform a matching using Euclidean distance correspondence between features. The proposed method does not require any prior information, and does not depend of a word to character segmentation algorithm which would be extremely complex to realize due to the tilted nature of the handwriting.
On the Design, Deployment and Use of Ubiquitous Systems
Authors: R. S. Sohan, R. K. Harle
Venue: Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing (2007)

Increasingly advanced ubiquitous systems are becoming possible through advances in technology. This paper reviews the design and deployment of two technologies across an office space of 550m2 to form a pervasive smart environment. The first technology provides ubiquitous location awareness, using ultrasonic tags, and the second provides a pervasive input/output device in the form of an advanced, networked telephone. The paper identifies issues within both deployments and looks at the subsequent usage of both systems. The need for especially high dependability in pervasive smart environments is noted, alongside the need to design with affordances and to include novel feedback channels to the user. The issue of how to select a deployment site is raised, together with the need for maximal logging of events, faults and usage.In analysing usage, we find repetitive trends including novelty periods when users court new applications and smart devices, group-based adoption of services, and an advantage in deploying with a large number of diverse applications. Users take to the technologies well, but must expend great effort in customising them and interest wanes.