Sciweavers

6943 search results - page 1121 / 1389
» Representations for evolutionary algorithms
Sort
View
ECOOP
2004
Springer
16 years 1 days ago
Typestates for Objects
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...
Robert DeLine, Manuel Fähndrich
EWCBR
2004
Springer
16 years 1 days ago
Case-Based Object Recognition
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...
Petra Perner, Angela Bühring
GD
2004
Springer
16 years 1 days ago
Computing Radial Drawings on the Minimum Number of Circles
A radial drawing is a representation of a graph in which the vertices lie on concentric circles of finite radius. In this paper we study the problem of computing radial drawings ...
Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta,...
GI
2004
Springer
16 years 1 days ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
ICBA
2004
Springer
121views Biometrics» more  ICBA 2004»
16 years 1 days ago
Watch List Face Surveillance Using Transductive Inference
The open set recognition task, most challenging among the biometric tasks, operates under the assumption that not all the probes have mates in the gallery. It requires the availabi...
Fayin Li, Harry Wechsler
« Prev « First page 1121 / 1389 Last » Next »