3207 search results - page 455 / 642 » A Semantics for HTN Methods |
135
click to vote
FORMATS
2007
Springer
16 years 17 days ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
174
click to vote
ICDT
2007
ACM
16 years 16 days ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
162
click to vote
KI
2007
Springer
16 years 16 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
162
click to vote
PCM
2007
Springer
16 years 15 days ago
2007
Springer
Relevance feedback is an important mechanism for narrowing the semantic gap in content-based image retrieval and the process involves the user labeling positive and negative images...
142
click to vote
WILF
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents a computer implementation that utilizes cross-reference ambiguity in utterances for simple conversational jokes. The approach is based on the SSTH. Using a simp...