Sciweavers

3906 search results - page 295 / 782
» From grids to places
Sort
View
JCSS
2010
111views more  JCSS 2010»
15 years 5 months ago
Reduction rules for reset/inhibitor nets
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van ...
ICRA
2009
IEEE
131views Robotics» more  ICRA 2009»
15 years 4 months ago
Efficient C-space and cost function updates in 3D for unmanned aerial vehicles
When operating in partially-known environments, autonomous vehicles must constantly update their maps and plans based on new sensor information. Much focus has been placed on devel...
Sebastian Scherer, Dave Ferguson, Sanjiv Singh
AMEC
2004
Springer
16 years 2 days ago
Specifying and Monitoring Market Mechanisms Using Rights and Obligations
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
Loizos Michael, David C. Parkes, Avi Pfeffer
PERCOM
2003
ACM
16 years 6 months ago
System Design of Smart Table
This paper describes the system design of Smart Table, a table that can track and identify multiple objects simultaneously when placed on top of its surface. The table has been de...
Philipp Steurer, Mani B. Srivastava
KBSE
2009
IEEE
16 years 1 months ago
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Tese...