Sciweavers

3095 search results - page 290 / 619
» Ubiquitous presence systems
Sort
View
ICANN
2007
Springer
16 years 27 days ago
Separation and Recognition of Multiple Sound Source Using Pulsed Neuron Model
Many applications would emerge from the development of artificial systems able to accurately localize and identify sound sources. However, one of the main difficulties of such kin...
Kaname Iwasa, Hideaki Inoue, Mauricio Kugler, Susu...
LPNMR
2007
Springer
16 years 26 days ago
Using Answer Sets to Solve Belief Change Problems
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
Aaron Hunter, James P. Delgrande, Joel Faber
CSFW
2006
IEEE
16 years 24 days ago
Secrecy by Typing and File-Access Control
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Avik Chaudhuri, Martín Abadi
DSN
2006
IEEE
16 years 24 days ago
The Startup Problem in Fault-Tolerant Time-Triggered Communication
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
Wilfried Steiner, Hermann Kopetz
ICRA
2005
IEEE
182views Robotics» more  ICRA 2005»
16 years 10 days ago
Control Synthesis for Dynamic Contact Manipulation
— We explore the control synthesis problem for a robot dynamically manipulating an object in the presence of multiple frictional contacts. Contacts occur both between the object ...
Siddhartha S. Srinivasa, Michael Erdmann, Matthew ...