1632 search results - page 106 / 327 » On special numberings of hypergraphs |
170
click to vote
VLDB
2005
ACM
16 years 3 days ago
2005
ACM
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...
169
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
169
Voted
WCC
2005
Springer
16 years 3 days ago
2005
Springer
We present constructions of polyphase sequences suitable for the use as codewords in orthogonal frequency-division multiplexing (OFDM) with strictly bounded peak-to-mean envelope p...
182
click to vote
WEBDB
2005
Springer
16 years 3 days ago
2005
Springer
Efficient query processing in P2P-based Web integration systems poses a variety of challenges resulting from the strict decentralization and limited knowledge. As a special probl...
185
click to vote
NPAR
2004
ACM
16 years 1 days ago
2004
ACM
We present a method to aid in the generation of pen-and-ink style renderings of complex geometry. Most illustration algorithms focus on rendering a small number of surfaces with a...