2272 search results - page 179 / 455 » Validity Invariants and Effects |
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
130
Voted
TIC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
158
Voted
CVPR
2005
IEEE
15 years 2 months ago
2005
IEEE
Understanding and modifying the effects of arbitrary illumination on human faces in a realistic manner is a challenging problem both for face synthesis and recognition. Recent res...
112
Voted
PR
2008
15 years 23 days ago
2008
The spectrum of a graph has been widely used in graph theory to characterise the properties of a graph and extract information from its structure. It has also been employed as a g...
128
click to vote
PR
2007
15 years 9 days ago
2007
In this paper, we present a new method for tracking objects with shadows. Traditional motion-based tracking schemes cannot usually distinguish the shadow from the object itself, a...