1632 search results - page 106 / 327 » On special numberings of hypergraphs |
181
click to vote
VLDB
2005
ACM
16 years 13 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...
177
Voted
VMCAI
2005
Springer
16 years 13 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...
175
Voted
WCC
2005
Springer
16 years 13 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...
194
click to vote
WEBDB
2005
Springer
16 years 13 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...
195
Voted
NPAR
2004
ACM
16 years 11 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...