Sciweavers

2845 search results - page 213 / 569
» Constraints over Ontologies
Sort
View
CVPR
2007
IEEE
16 years 8 months ago
Inferring Temporal Order of Images From 3D Structure
In this paper, we describe a technique to temporally sort a collection of photos that span many years. By reasoning about persistence of visible structures, we show how this sorti...
Grant Schindler, Frank Dellaert, Sing Bing Kang
ICPR
2006
IEEE
16 years 7 months ago
Bijective Image Registration using Thin-Plate Splines
Image registration is the process of geometrically aligning two or more images. In this paper we describe a method for registering pairs of images based on thin-plate spline mappi...
LATA
2010
Springer
16 years 4 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta
ICASSP
2008
IEEE
16 years 1 months ago
Algebraic visual cryptography scheme for color images
This paper introduces a novel, cost effective visual cryptography scheme suitable for color image transmission over bandwidth constraint channels. Unlike previously proposed schem...
Mohsen Heidarinejad, Amirhossein Alamdar Yazdi, Ko...
DASFAA
2007
IEEE
188views Database» more  DASFAA 2007»
16 years 1 months ago
Security-Conscious XML Indexing
To support secure exchanging and sharing of XML data over the Internet, a myriad of XML access control mechanisms have been proposed. In the setting of node-level fine-grained acc...
Yan Xiao, Bo Luo, Dongwon Lee