Sciweavers

2875 search results - page 125 / 575
» Information Retrieval in Structured Domains
Sort
View
ICFEM
2010
Springer
15 years 2 days ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
DEXAW
2007
IEEE
100views Database» more  DEXAW 2007»
15 years 8 months ago
Exploring a Geographical Dataset with GEOLIS
Geographical data are mainly structured in layers of information. However, this model of organisation is not convenient for navigation inside a dataset, and so limits geographical...
Olivier Bedel, Sébastien Ferré, Oliv...
GIR
2006
ACM
15 years 7 months ago
Associating spatial patterns to text-units for summarizing geographic information
Retrieving data based not only on key words is a challenge. We worked on semi-structured data (cultural heritage corpora). Our project aimed at getting the most relevant text-unit...
Julien Lesbegueries, Christian Sallaberry, Mauro G...
CIVR
2008
Springer
127views Image Analysis» more  CIVR 2008»
15 years 3 months ago
Investigating keyframe selection methods in the novel domain of passively captured visual lifelogs
The SenseCam is a passive capture wearable camera, worn around the neck, and when worn continuously it takes an average of 1,900 images per day. It can be used to create a persona...
Aiden R. Doherty, Daragh Byrne, Alan F. Smeaton, G...
WBIR
2010
SPRINGER
14 years 11 months ago
Log-Domain Diffeomorphic Registration of Diffusion Tensor Images
Diffusion tensor imaging provides information about deep white matter anatomy that structural magnetic resonance images typically fail to resolve. Non-linear registration of diffus...
Andrew Sweet, Xavier Pennec