Sciweavers

1542 search results - page 241 / 309
» Redundancy in Spatial Databases
Sort
View
ENTCS
2010
95views more  ENTCS 2010»
13 years 6 months ago
Quadtrees as an Abstract Domain
s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...
Jacob M. Howe, Andy King, Charles Lawrence-Jones
INFORMS
2010
110views more  INFORMS 2010»
13 years 6 months ago
Incremental Satisfiability and Implication for UTVPI Constraints
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
Andreas Schutt, Peter J. Stuckey
CMIG
2010
125views more  CMIG 2010»
13 years 3 months ago
VascuSynth: Simulating vascular trees for generating volumetric image data with ground-truth segmentation and tree analysis
Automated segmentation and analysis of tree-like structures from 3D medical images are important for many medical applications, such as those dealing with blood vasculature or lun...
Ghassan Hamarneh, Preet Jassi
INTERSPEECH
2010
13 years 3 months ago
Estimating missing data sequences in x-ray microbeam recordings
Techniques for recording the vocal tract shape during speech such as X-ray microbeam or EMA track the spatial location of pellets attached to several articulators. Limitations of ...
Chao Qin, Miguel Á. Carreira-Perpiñ&...
ICCV
2011
IEEE
12 years 8 months ago
Exemplar Extraction using Spatio-Temporal Hierarchical Agglomerative Clustering for Face Recognition in Video
Many recent works have attempted to improve object recognition by exploiting temporal dynamics, an intrinsic property of video sequences. In this paper, a new spatiotemporal hiera...
John See, Chikkannan Eswaran