4126 search results - page 414 / 826 » Relationships with other Formalisms |
148
click to vote
IEAAIE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
140
click to vote
MICAI
2005
Springer
16 years 11 days ago
2005
Springer
We propose a framework for reactive motion and sensing planning based on critical events. A critical event amounts to crossing a critical curve, which divides the environment. We h...
185
click to vote
PADL
2005
Springer
16 years 11 days ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
225
click to vote
PADL
2005
Springer
16 years 11 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
190
click to vote
SEKE
2005
Springer
16 years 10 days ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...