16666 search results - page 230 / 3334 » Descriptive and Computational Complexity |
155
Voted
SAC
2010
ACM
14 years 11 months ago
2010
ACM
137
Voted
PODC
2012
ACM
13 years 7 months ago
2012
ACM
136
Voted
JLP
2006
15 years 4 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
136
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
163
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...