3207 search results - page 411 / 642 » A Semantics for HTN Methods |
178
click to vote
MEMOCODE
2007
IEEE
16 years 22 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
161
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
172
click to vote
ERCIMDL
2007
Springer
16 years 19 days ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
163
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
194
click to vote
FMICS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...