68 search results - page 10 / 14 » Approaching the Skyline in Z Order |
FASE
2011
Springer
13 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
ICDCS
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—Jamming attacks and unintentional radio interference are one of the most urgent threats harming the dependability of wireless communication and endangering the successfu...
SEMCO
2009
IEEE
14 years 4 months ago
2009
IEEE
—This is a paper about a new resource, namely an English paraphrase dictionary extracted from the FrameNet lexicon and its example data base. I. THE LEXPAR PARAPHRASE DICTIONARY ...
HAPTICS
2007
IEEE
14 years 4 months ago
2007
IEEE
Human sensitivity to height differences in textured surfaces is on the order of microns. Research on human texture perception requires texture samples with precisely controlled mi...
COMPGEOM
2006
ACM
14 years 3 months ago
2006
ACM
This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation para...