Sciweavers

2145 search results - page 305 / 429
» Answering Queries Using Views
Sort
View
137
Voted
ICDE
2006
IEEE
128views Database» more  ICDE 2006»
15 years 9 months 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
132
Voted
COMPGEOM
2006
ACM
15 years 9 months 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...
122
Voted
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 9 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 9 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 9 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