Sciweavers

5924 search results - page 282 / 1185
» Normal Process Representatives
Sort
View
TIC
2000
Springer
124views System Software» more  TIC 2000»
15 years 10 months ago
Sound and Complete Elimination of Singleton Kinds
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Karl Crary
ICPR
2010
IEEE
15 years 10 months ago
Vehicle Recognition As Changes in Satellite Imagery
Over the last several years, a new probabilistic representation for 3-d volumetric modeling has been developed. The main purpose of the model is to detect deviations from the norm...
Ozge Can Ozcanli, Joseph Mundy
SGP
2007
15 years 9 months ago
Voronoi-based variational reconstruction of unoriented point sets
We introduce an algorithm for reconstructing watertight surfaces from unoriented point sets. Using the Voronoi diagram of the input point set, we deduce a tensor field whose princ...
Pierre Alliez, David Cohen-Steiner, Yiying Tong, M...
HOTDEP
2008
113views Hardware» more  HOTDEP 2008»
15 years 9 months ago
Consistability: Describing Usually Consistent Systems
Current weak consistency semantics provide worst-case guarantees to clients. These guarantees fail to adequately describe systems that provide varying levels of consistency in the...
Amitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Me...
BIS
2008
114views Business» more  BIS 2008»
15 years 8 months ago
Determining Relevant Deep Web Sites by Query Context Identification
Deep web search requires a transformation between search keywords and semantically described and well-formed data structures. We approached this problem in our "In the Web of ...
Zsolt Tivadar Kardkovács, Domonkos Tikk