1616 search results - page 90 / 324 » A Framework for Hybrid Planning |
162
click to vote
SG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
156
click to vote
FLAIRS
2007
15 years 8 months ago
2007
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
201
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
188
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
182
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...