16666 search results - page 180 / 3334 » Descriptive and Computational Complexity |
136
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
143
click to vote
VISUAL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The present work is focused on a global image characterization based on a description of the 2D displacements of the different shapes present in the image, which can be e...
150
click to vote
DLOG
2006
15 years 5 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
146
click to vote
SIP
2001
15 years 5 months ago
2001
This paper introduces algorithms for determining the "relevance" of each frame (and objects within the frame) to the scenes present in a given video sequence. Specifical...
119
click to vote
ALIFE
2005
15 years 4 months ago
2005
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...