3224 search results - page 97 / 645 » Abstract Error Projection |
137
click to vote
GEOINFO
2004
15 years 7 months ago
2004
Abstract Projects using geographic information tools involve a large variety of data objects, represented in different formats. Many efforts pursue standards to represent each kind...
143
click to vote
AAECC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The paper deals with the question of recognizing the mutual positions of the connected components of a non-singular real projective surface S in the real projective 3-spa...
117
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
175
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
151
click to vote
AROBOTS
2002
15 years 6 months ago
2002
Abstract. We describe a new method for representing human movement compactly, in terms of a linear superimposition of simpler movements termed primitives. This method is a part of ...