2989 search results - page 236 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
124
click to vote
CAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
131
Voted
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper presents an approach to implement virtual fixtures for surgical robot assistants. Our approach uses a weighted, multi-objective (both linear and nonlinear) constrai...
96
Voted
IEAAIE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
110
Voted
GRID
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
129
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...