189 search results - page 11 / 38 » Polynomial-time Computation via Local Inference Relations |
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
A new system named Home-Explorer is proposed to search and localize physical artifacts in smart indoor environment. Our view is object-centered and sensors are attached to several...
72
Voted
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Saliency is an important perceptual cue that occurs at different scales of resolution. Important attributes of saliency are symmetry, continuity, and closure. Detection of these a...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
PODC
1999
ACM
15 years 2 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
ICS
2010
Tsinghua U.
15 years 7 months ago
2010
Tsinghua U.
: We initiate the study of local, sublinear time algorithms for finding vertices with extreme topological properties -- such as high degree or clustering coefficient -- in large so...