Sciweavers

690 search results - page 57 / 138
» Multi-Agent Only Knowing
Sort
View
FOCS
1993
IEEE
14 years 25 days ago
An On-Line Algorithm for Improving Performance in Navigation
We consider the following scenario. A point robot is placed at some start location ¡ in a 2dimensional scene containing oriented rectangular obstacles. The robot must repeatedly ...
Avrim Blum, Prasad Chalasani
CSL
2009
Springer
14 years 18 days ago
Fixed-Point Definability and Polynomial Time
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
Martin Grohe
CSL
2006
Springer
14 years 12 days ago
Nonmonotonic Logics and Their Algebraic Foundations
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
Miroslaw Truszczynski
APGV
2008
ACM
212views Visualization» more  APGV 2008»
13 years 10 months ago
Auditory self-motion illusions ("circular vection") can be facilitated by vibrations and the potential for actual motion
It has long been known that sound fields rotating around a stationary, blindfolded observer can elicit self-motion illusions ("circular vection") in 20-60% of participan...
Bernhard E. Riecke, Daniel Feuereissen, John J. Ri...
SCS
2004
13 years 10 months ago
Engineering Judgement
Engineers who develop safety-related systems are required to work to remarkably high standards: SIL 1, the lowest classification recognised by the international standard IEC 61508...
Martyn Thomas