408 search results - page 33 / 82 » Relation Algebras for Reasoning about Time and Space |
173
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
156
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
160
click to vote
RTAS
2009
IEEE
16 years 25 days ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
230
click to vote
AI
1998
Springer
15 years 10 months ago
1998
Springer
A variety of hybrid genetic algorithms has been recently proposed to address the vehicle routing problem with time windows (VRPTW), a problem known to be NP-hard. However, very few...
118
click to vote
ACS
2005
15 years 6 months ago
2005
A `2-group' is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representa...