Sciweavers

13791 search results - page 2573 / 2759
» Modeling Web Interactions
Sort
View
CGI
2004
IEEE
14 years 1 months ago
Point Set Surface Editing Techniques Based on Level-Sets
In this paper we articulate a new modeling paradigm for both local and global editing on complicated point set surfaces of arbitrary topology. In essence, the proposed technique l...
Xiaohu Guo, Jing Hua, Hong Qin
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
14 years 1 months ago
A Fresh Look at Testing for Asynchronous Communication
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
Puneet Bhateja, Paul Gastin, Madhavan Mukund
DSN
2006
IEEE
14 years 29 days ago
An Approach for Detecting and Distinguishing Errors versus Attacks in Sensor Networks
Distributed sensor networks are highly prone to accidental errors and malicious activities, owing to their limited resources and tight interaction with the environment. Yet only a...
Claudio Basile, Meeta Gupta, Zbigniew Kalbarczyk, ...
ECAI
2006
Springer
14 years 29 days ago
Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System
We present SAMMIE, a laboratory demonstrator of an in-car showcase of a multimodal dialogue system developed in the TALK project5 in cooperation between DFKI/USAAR/BOSCH/BMW, to s...
Tilman Becker, Nate Blaylock, Ciprian Gerstenberge...
ECAI
2006
Springer
14 years 29 days ago
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
Benoit Gaudou, Andreas Herzig, Dominique Longin, M...
« Prev « First page 2573 / 2759 Last » Next »