8874 search results - page 232 / 1775 » A New Implementation of Automath |
153
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
133
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
162
click to vote
SISAP
2010
IEEE
15 years 2 months ago
2010
IEEE
The retrieval of videos of interest from large video collections is a main open problem which calls for the definition of new video content characterization techniques in term of ...
166
click to vote
VDA
2010
15 years 2 months ago
2010
The exploration of multidimensional scalar fields is commonly based on the knowledge of the topology of their isosurfaces. The latter is established through the analysis of critic...
145
click to vote
DLOG
2009
15 years 2 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...