1119 search results - page 135 / 224 » On the Invariance of Ant System |
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
AVBPA
2001
Springer
15 years 2 months ago
2001
Springer
We present an approach for visual discrimination of children from adults in video using characteristic regularities present in their locomotion patterns. The framework employs comp...
CAV
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
109
click to vote
CLOR
2006
15 years 1 months ago
2006
We describe an approach to object retrieval which searches for and localizes all the occurrences of an object in a video, given a query image of the object. The object is represent...
106
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...