3359 search results - page 641 / 672 » A Simplified Idea Algorithm |
FOCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The “analyst’s traveling salesman theorem” of geometric measure theory characterizes those subsets of Euclidean space that are contained in curves of finite length. This re...
GMP
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a novel approach to continuously and robustly tracking critical (geometrically, perpendicular and/or extremal) distances from a moving plane point p ∈ R2 to a...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Although relevance feedback has been extensively studied in content-based image retrieval in the academic area, no commercial web image search engine has employed the idea. There ...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
SEFM
2006
IEEE
14 years 1 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...