4949 search results - page 760 / 990 » Consistency and Set Intersection |
160
click to vote
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
We study the problem of gathering information from the nodes of a multi-hop radio network into a pre-defined destination node under the interference constraints. In such a network...
143
click to vote
AIPS
2009
15 years 7 months ago
2009
Heuristic forward search is the dominant approach to satisficing planning to date. Most successful planning systems, however, go beyond plain heuristic search by employing various...
174
click to vote
APGV
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a psychophysical analysis of the discrimination thresholds of human faces that are varied along different directions in Face Space. Generated by a 3D Morphable...
190
click to vote
ESEM
2010
ACM
15 years 6 months ago
2010
ACM
Though very important in software engineering, linking artifacts of the same type (clone detection) or of different types (traceability recovery) is extremely tedious, error-prone...
176
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...