1342 search results - page 86 / 269 » Shape reasoning and understanding |
181
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
In constraint or preference reasoning, a typical task is to compute a solution, or an optimal solution. However, when one has already a solution, it may be important to produce th...
176
click to vote
NFM
2011
15 years 28 days ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
306
click to vote
Book
"The world of science and engineering is filled with signals: images from remote space probes, voltages generated by the heart and brain, radar and sonar echoes, seismic vibra...
187
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper we propose a novel computational method to infer visual saliency in images. The method is based on the idea that salient objects should have local characteristics tha...
172
click to vote
MICCAI
2005
Springer
16 years 6 months ago
2005
Springer
Understanding of the dynamic behaviour of the levator ani is important to the assessment of pelvic floor dysfunction. Whilst shape modelling allows the depiction of 3D morphologica...