3207 search results - page 262 / 642 » A Semantics for HTN Methods |
158
click to vote
IFM
2007
Springer
15 years 10 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
136
click to vote
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...
130
click to vote
CCS
2001
ACM
15 years 9 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
113
click to vote
MM
2000
ACM
15 years 8 months ago
2000
ACM
Images are increasingly being embedded in HTML documents on the WWW. Such documents over the WWW essentially provides a rich source of image collection from which users can query....
200
click to vote
CICLING
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...