784 search results - page 120 / 157 » Relaxing the Value Restriction |
CC
2004
Springer
14 years 2 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Super solutions are a mechanism to provide robustness to constraint programs [10]. They are solutions in which, if a small number of variables lose their values, we are guaranteed ...
SDMW
2004
Springer
14 years 2 months ago
2004
Springer
In a database system, authorization-based access-control is generally the first line of defense, preventing unauthorized accesses to secret or sensitive data. However, this mechan...
AMFG
2003
IEEE
14 years 2 months ago
2003
IEEE
Recognition under illumination variations is a challenging problem. The key is to successfully separate the illumination source from the observed appearance. Once separated, what ...
FOCS
2003
IEEE
14 years 2 months ago
2003
IEEE
The doubling constant of a metric space (X, d) is the smallest value λ such that every ball in X can be covered by λ balls of half the radius. The doubling dimension of X is the...