6047 search results - page 471 / 1210 » Modeling with Extend |
251
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
161
click to vote
BC
2008
15 years 7 months ago
2008
Abstract This paper presents a simple yet biologicallygrounded model for the neural control of Caenorhabditis elegans forward locomotion. We identify a minimal circuit within the C...
172
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Group-Centric Secure Information Sharing (g-SIS) is motivated by the need to dynamically share information amongst a set of authorized users for a specific purpose. Authorized ...
235
click to vote
ATAL
2005
Springer
16 years 24 days ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
174
click to vote
CDC
2009
IEEE
16 years 2 days ago
2009
IEEE
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...