Sciweavers

937 search results - page 48 / 188
» Positive Active XML
Sort
View
SEBD
2003
159views Database» more  SEBD 2003»
14 years 11 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
FCT
2007
Springer
15 years 3 months ago
On Notions of Regularity for Data Languages
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
Henrik Björklund, Thomas Schwentick
ICRA
2007
IEEE
168views Robotics» more  ICRA 2007»
15 years 4 months ago
A New Approach for Active Stereo Camera Calibration
— By active stereo we mean a stereo vision system that allows for independent panning and tilting for each of the two cameras. One advantage of active stereo in relation to regul...
Hyukseong Kwon, Johnny Park, Avinash C. Kak
CVPR
2009
IEEE
16 years 4 months ago
Global Active Contour-based Image Segmentation via Probability Alignment
Active contours is a popular technique for image segmentation. However, active contour tend to converge to the closest local minimum of its energy function and often requires a ...
Andriy Myronenko, Xubo B. Song
ICCV
2009
IEEE
1042views Computer Vision» more  ICCV 2009»
16 years 2 months ago
Activity Recognition using the velocity histories of tracked keypoints
We present an activity recognition feature inspired by human psychophysical performance. This feature is based on the velocity history of tracked keypoints. We present a generat...
Ross Messing, Chris Pal, Henry Kautz