Sciweavers

207 search results - page 29 / 42
» Expressive Subgroup Signatures
Sort
View
PODS
2007
ACM
119views Database» more  PODS 2007»
14 years 8 months ago
Reasoning about XML update constraints
XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they ...
Bogdan Cautis, Serge Abiteboul, Tova Milo
SCIA
2009
Springer
306views Image Analysis» more  SCIA 2009»
14 years 8 months ago
Head Pose Estimation from Passive Stereo Images
We present an algorithm to estimate the 3D pose (location and orientation) of a previously unseen face from low-quality range images. The algorithm generates many pose candidates ...
C. Høilund, J. Jensen, Luc J. Van Gool, Mic...
SECURWARE
2008
IEEE
14 years 2 months ago
From Monitoring Templates to Security Monitoring and Threat Detection
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
Nuno Amálio, George Spanoudakis
ICTAC
2007
Springer
14 years 2 months ago
Regular Linear Temporal Logic
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
Martin Leucker, César Sánchez
AVBPA
2005
Springer
296views Biometrics» more  AVBPA 2005»
14 years 1 months ago
Exploring Similarity Measures for Biometric Databases
Currently biometric system performance is evaluated in terms of its FAR and FRR. The accuracy expressed in such a manner depends on the characteristics of the dataset on which the ...
Praveer Mansukhani, Venu Govindaraju