Sciweavers

4190 search results - page 373 / 838
» Implementing commitment-based interactions
Sort
View
EHCI
2001
15 years 6 months ago
Detecting Multiple Classes of User Errors
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
Paul Curzon, Ann Blandford
117
Voted
DAGSTUHL
2003
15 years 6 months ago
How Should Control and Body Systems Be Coupled? A Robotic Case Study
Abstract. This study is intended to deal with the interdependency between control and body systems, and to discuss the “relationship as it should be” between these two systems....
Akio Ishiguro, Toshihiro Kawakatsu
ISICT
2003
15 years 6 months ago
The language of machines
When we start to engage machines in conversation, what language will it be? While natural language is our preferred means of communication, natural language processing is by no mea...
Eva Jacobus, Brian R. Duffy
IVCNZ
1998
15 years 6 months ago
On Comparing Two Scenarios for Probabilistic Image Modelling
Traditional scenario of probabilistic modelling is directed at generating samples having a given probability distribution. We argue that this scenario is impracticable for image m...
Georgy L. Gimel'farb
GG
2008
Springer
15 years 5 months ago
Network Applications of Graph Bisimulation
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto