Sciweavers

DIS
2001
Springer
14 years 4 months ago
An Integrated Framework for Extended Discovery in Particle Physics
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...
Sakir Kocabas, Pat Langley
DAGM
2003
Springer
14 years 4 months ago
A Computational Model of Early Auditory-Visual Integration
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
Carsten Schauer, Horst-Michael Gross
ANSS
2003
IEEE
14 years 4 months ago
Internode: Internal Node Logic Computational Model
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
Alejandro Millán, Manuel J. Bellido, Jorge ...
GC
2004
Springer
14 years 4 months ago
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
Andrea Bracciali, Neophytos Demetriou, Ulrich Endr...
FSTTCS
2004
Springer
14 years 4 months ago
Learning Languages from Positive Data and a Finite Number of Queries
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
Sanjay Jain, Efim B. Kinber
ATAL
2004
Springer
14 years 4 months ago
Evaluating the Modeling and Use of Emotion in Virtual Humans
Spurred by a range of potential applications, there has been a growing body of research in computational models of human emotion. To advance the development of these models, it is...
Jonathan Gratch, Stacy Marsella
ACOM
2004
Springer
14 years 4 months ago
Dialogization and Implicit Information in an Agent Communicational Model
In this paper we propose a computational model for human-agent and agent-agent conversation. This model has two fundamental characteristics: (1) it takes into account the implicit ...
Karim Bouzouba, Jamal Bentahar, Bernard Moulin
ESOP
2005
Springer
14 years 5 months ago
Computationally Sound, Automated Proofs for Security Protocols
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
Véronique Cortier, Bogdan Warinschi
BIRTHDAY
2005
Springer
14 years 5 months ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz
ICRA
2006
IEEE
104views Robotics» more  ICRA 2006»
14 years 5 months ago
Implicit Coordination in Robotic Teams using Learned Prediction Models
— Many application tasks require the cooperation of two or more robots. Humans are good at cooperation in shared workspaces, because they anticipate and adapt to the intentions a...
Freek Stulp, Michael Isik, Michael Beetz