5269 search results - page 64 / 1054 » order 2007 |
137
Voted
EMMCVPR
2007
Springer
15 years 9 months ago
2007
Springer
Video segmentation requires the partitioning of a series of images into groups that are both spatially coherent and smooth along the time axis. We formulate segmentation as a Bayes...
148
Voted
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...
121
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
124
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...