6047 search results - page 908 / 1210 » Modeling with Extend |
155
click to vote
IJCAI
2007
15 years 5 months ago
2007
A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. It is commonly asserted that in order to ...
159
Voted
DAGSTUHL
2001
15 years 5 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
169
click to vote
AROBOTS
2007
15 years 4 months ago
2007
— A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. To operate in the real world, autonomo...
155
Voted
DSS
2008
15 years 4 months ago
2008
We develop a two-stage model for versioning products with respect to both vertical and horizontal attributes. At first, a firm positions its top-quality "flagship" produ...
161
click to vote
ENTCS
2006
15 years 4 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...