Sciweavers

1926 search results - page 271 / 386
» From P to MP Systems
Sort
View
LOGCOM
2007
97views more  LOGCOM 2007»
15 years 6 months ago
A General Framework for Expressing Preferences in Causal Reasoning and Planning
We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
James P. Delgrande, Torsten Schaub, Hans Tompits
CUZA
2002
129views more  CUZA 2002»
15 years 6 months ago
Ad Hoc Metacomputing with Compeer
Metacomputing allows the exploitation of geographically seperate, heterogenous networks and resources. Most metacomputers are feature rich and carry a long, complicated installati...
Keith Power, John P. Morrison
SLOGICA
2002
74views more  SLOGICA 2002»
15 years 6 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 4 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...
DILS
2009
Springer
15 years 4 months ago
Slicing through the Scientific Literature
Abstract. Success in the life sciences depends on access to information in knowledge bases and literature. Finding and extracting the relevant information depends on a user's ...
Christopher J. O. Baker, Patrick Lambrix, Jonas La...