2367 search results - page 217 / 474 » An experimental analysis of self-adjusting computation |
181
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
181
click to vote
ACIVS
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. Extrema of curvature are useful key points for different image analysis tasks. Indeed, polygonal approximation or arc decomposition methods used often these points to ini...
170
click to vote
CIVR
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes an efficient approach to image annotation. It ranked first on the recent scene categorization track of the ImagEVAL1 benchmark. We show how homogeneous globa...
189
click to vote
CIVR
2004
Springer
15 years 12 months ago
2004
Springer
We describe an original method for selecting key frames to represent the content of every shot in a video. We aim at spatially sampling in an uniform way the coverage of the scene ...
154
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
The investigation of evolutionary algorithms as adaptation schemes has a long history starting with Holland (1975). The Ising model from physics leads to a variety of different pr...