1687 search results - page 142 / 338 » Light Functional Interpretation |
167
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
154
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We have presented an optimal algorithm for minimal cost loop problem (MCLP), which consists of finding a set of minimum cost loops rooted at a source node. In the MCLP, t...
155
click to vote
GW
2005
Springer
15 years 12 months ago
2005
Springer
In modern society there is an increasing demand to access, record and manipulate large amounts of information. This has inspired a new approach to thinking about and designing pers...
150
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. When Genetic Algorithms (GAs) are employed in multimodal function optimization, engineering and machine learning, identifying multiple peaks and maintaining subpopulation...
137
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
We address the problem of high-quality image capture of fast-moving objects in moderate light environments. In such cases, the use of a traditional shutter is known to yield non-in...