6432 search results - page 339 / 1287 » Classic Mechanism Design |
194
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
This work focuses on tomographic image reconstruction in experimental fluid mechanics (TomoPIV), a recently established 3D particle image velocimetry technique. Corresponding 2D im...
169
click to vote
EATIS
2008
ACM
15 years 8 months ago
2008
ACM
In addition to an untuned performance, inefficient resource management in hinders any attempt to offer Quality of Service in scavenging grids. In this case, Best-Effort mechanisms...
199
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
152
click to vote
FIW
2007
15 years 8 months ago
2007
The feature interaction problem is generally associated with conflicting features causing undesirable effects. However, in this paper we report on a situation where the combinati...
159
click to vote
DLOG
1998
15 years 8 months ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...