989 search results - page 57 / 198 » Version spaces and the consistency problem |
CCCG
1996
13 years 10 months ago
1996
In computational metrology one needs to compute whether an object satis es speci cations of shape within an acceptable tolerance. To this end positions on the object are measured,...
NIPS
2004
13 years 10 months ago
2004
Clustering and prediction of sets of curves is an important problem in many areas of science and engineering. It is often the case that curves tend to be misaligned from each othe...
RTA
1993
Springer
14 years 1 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
A device that could locomote through curving and tortuous spaces would find many applications in medicine and in industry. Invertebrates such as earthworms and leeches can solve t...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...