Sciweavers

5639 search results - page 323 / 1128
» Timed Abstract Non-interference
Sort
View
IOT
2010
15 years 1 months ago
Evaluation of 1D barcode scanning on mobile phones
Abstract--1D or linear barcodes are the black-and-whitestriped codes that can be found on most consumer products. This work evaluates existing 1D barcode scanners for mobile phones...
Felix von Reischach, Stephan Karpischek, Florian M...
AI
2011
Springer
14 years 11 months ago
A unifying action calculus
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
Michael Thielscher
ACCV
2010
Springer
14 years 11 months ago
Cage-Based Tracking for Performance Animation
Abstract. Full body performance capture is a promising emerging technology that has been intensively studied in Computer Graphics and Computer Vision over the last decade. Highly-d...
Yann Savoye, Jean-Sébastien Franco
ACCV
2010
Springer
14 years 11 months ago
Colour Dynamic Photometric Stereo for Textured Surfaces
Abstract. In this paper we present a novel method to apply photometric stereo on textured dynamic surfaces. We aim at exploiting the high accuracy of photometric stereo and reconst...
Zsolt Jankó, Amaël Delaunoy, Emmanuel ...
ACCV
2010
Springer
14 years 11 months ago
A Weak Structure Model for Regular Pattern Recognition Applied to Facade Images
Abstract. We propose a novel method for recognition of structured images and demonstrate it on detection of windows in facade images. Given an ability to obtain local low-level dat...
Radim Tylecek, Radim Sára