4841 search results - page 299 / 969 » On dynamic feature location |
193
click to vote
FMICS
2008
Springer
15 years 9 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
179
click to vote
MCU
2004
15 years 8 months ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
193
click to vote
AIPS
1998
15 years 8 months ago
1998
We describe a framework for planning in dynamic environments. A central question is how to focus the sensing performed by such a system, so that it responds appropriately to relev...
248
click to vote
IJCAI
1989
15 years 8 months ago
1989
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
179
click to vote
CN
2007
15 years 7 months ago
2007
We consider the flow-level quality of service (QoS) seen by a dynamic load of rate adaptive sessions sharing a bottleneck link based on fair share bandwidth allocation. This is o...