Sciweavers

4688 search results - page 650 / 938
» Dynamics of Control
Sort
View
CVPR
2008
IEEE
16 years 8 months ago
Adaptive parametrization of multivariate B-splines for image registration
We present an adaptive parametrization scheme for dynamic mesh refinement in the application of parametric image registration. The scheme is based on a refinement measure ensuring...
Michael Sass Hansen, Rasmus Larsen, Ben Glocker, N...
ICPR
2006
IEEE
16 years 7 months ago
Event Recognition with Fragmented Object Tracks
Complete and accurate video tracking is very difficult to achieve in practice due to long occlusions, traffic clutter, shadows and appearance changes. In this paper, we study the ...
Anthony Hoogs, Gianfranco Doretto, John Schmiedere...
ICSE
2008
IEEE-ACM
16 years 6 months ago
Security protocols, properties, and their monitoring
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
Andreas Bauer 0002, Jan Jürjens
VEE
2010
ACM
247views Virtualization» more  VEE 2010»
16 years 1 months ago
Capability wrangling made easy: debugging on a microkernel with valgrind
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
Aaron Pohle, Björn Döbel, Michael Roitzs...
TEI
2009
ACM
172views Hardware» more  TEI 2009»
16 years 1 months ago
SLAPbook: tangible widgets on multi-touch tables in groupware environments
We present SLAPbook, an application using SLAP, translucent and tangible widgets for use on vision-based multi-touch tabletops in Single Display Groupware (SDG) environments. SLAP...
Malte Weiss, Julie Wagner, Roger Jennings, Yvonne ...