Sciweavers

1546 search results - page 149 / 310
» Thoughts on solution concepts
Sort
View
AIPS
2007
13 years 11 months ago
Angelic Semantics for High-Level Actions
High-level actions (HLAs) lie at the heart of hierarchical planning. Typically, an HLA admits multiple refinements into primitive action sequences. Correct descriptions of the ef...
Bhaskara Marthi, Stuart J. Russell, Jason Wolfe
APN
2008
Springer
13 years 11 months ago
Process Discovery Using Integer Linear Programming
Abstract. The research domain of process discovery aims at constructocess model (e.g. a Petri net) which is an abstract representation of an execution log. Such a Petri net should ...
Jan Martijn E. M. van der Werf, Boudewijn F. van D...
ATAL
2008
Springer
13 years 11 months ago
Formalising Situatedness and Adaptation in Electronic Institutions
Abstract. Similarly to institutions in human societies, Electronic Institutions (EI) provide structured frameworks for Multi-Agent Systems (MAS) to regulate agents' interactio...
Jordi Campos Miralles, Maite López-Sá...
CCGRID
2008
IEEE
13 years 11 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
13 years 11 months ago
How springs can help to stabilize motions of underactuated systems with weak actuators
In the field of robotics the energy spent for actuation is always an issue. It is often the case that some desired motions cannot be achieved by the robot due to limitations in act...
Uwe Mettin, Pedro X. La Hera, Leonid B. Freidovich...