5105 search results - page 737 / 1021 » Approximate Structural Consistency |
186
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
178
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a novel disk-based multiresolution triangle mesh data structure that supports paging and view-dependent rendering of very large meshes at interactive frame rates from e...
192
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
162
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
We report on an a set of experiments carried out in the context of the Flemish OntoBasis project. Our purpose is to extract semantic relations from text corpora in an unsupervised ...