Sciweavers

2145 search results - page 305 / 429
» Answering Queries Using Views
Sort
View
ICDE
2006
IEEE
128views Database» more  ICDE 2006»
16 years 12 days ago
Searching and Ranking Documents based on Semantic Relationships
Just as the link structure of the web is a critical component in today's web search, complex relationships (i.e., the different ways the dots are connected) will be an import...
Boanerges Aleman-Meza
COMPGEOM
2006
ACM
16 years 10 days ago
Optimal succinct representations of planar maps
This paper addresses the problem of representing the connectivity information of geometric objects using as little memory as possible. As opposed to raw compression issues, the fo...
Luca Castelli Aleardi, Olivier Devillers, Gilles S...
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 12 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
EDBTW
2004
Springer
15 years 11 months ago
FliX: A Flexible Framework for Indexing Complex XML Document Collections
While there are many proposals for path indexes on XML documents, none of them is perfectly suited for indexing large-scale collections of interlinked XML documents. Existing strat...
Ralf Schenkel
SGAI
2004
Springer
15 years 11 months ago
A combinatorial approach to conceptual graph projection checking
We exploit the combinatorial structure of conceptual graphs in order to obtain faster execution time when computing projection, which is a core generalisation-specialisation relat...
Madalina Croitoru, Ernesto Compatangelo