1912 search results - page 372 / 383 » GOAL as a Planning Formalism |
131
click to vote
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
119
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
112
Voted
WAPCV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
124
Voted
EUROMICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
102
click to vote
ICNP
2003
IEEE
15 years 7 months ago
2003
IEEE
The publish/subscribe (pub/sub) paradigm provides content-oriented data dissemination in which communication channels are established between content publishers and content subscr...