Sciweavers

8555 search results - page 319 / 1711
» Property Based Coordination
Sort
View
180
Voted
ATAL
2007
Springer
16 years 1 months ago
A generative inquiry dialogue system
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
Elizabeth Black, Anthony Hunter
196
Voted
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
16 years 1 months ago
Vision SLAM in the Measurement Subspace
— In this paper we describe an approach to feature representation for simultaneous localization and mapping, SLAM. It is a general representation for features that addresses symm...
John Folkesson, Patric Jensfelt, Henrik I. Christe...
301
Voted
LICS
2003
IEEE
16 years 24 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
HYBRID
1998
Springer
15 years 11 months ago
High Order Eigentensors as Symbolic Rules in Competitive Learning
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...
Hod Lipson, Hava T. Siegelmann
207
Voted
ICALP
1994
Springer
15 years 11 months ago
Liveness in Timed and Untimed Systems
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
Rainer Gawlick, Roberto Segala, Jørgen F. S...