Sciweavers

663 search results - page 113 / 133
» Retrieving Objects Using Local Integral Invariants
Sort
View
214
Voted
POPL
2009
ACM
16 years 1 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge
106
Voted
SIGIR
2006
ACM
15 years 6 months ago
Identifying comparative sentences in text documents
This paper studies the problem of identifying comparative sentences in text documents. The problem is related to but quite different from sentiment/opinion sentence identification...
Nitin Jindal, Bing Liu
111
Voted
ECIS
2000
15 years 1 months ago
A Framework for Clinical Decision Making and Medical Experience Storing
Different models of Decision Support Systems (DSS) are used in medicine to help physicians in disease diagnosis, prognosis evaluation and therapy prescription. The DSS models rely ...
Joël Colloc, Laïd Bouzidi
CVPR
1999
IEEE
16 years 2 months ago
Independent Motion: The Importance of History
We consider a problem central in aerial visual surveillance applications { detection and tracking of small, independently moving objects in long and noisy video sequences. We dire...
Robert Pless, Tomás Brodský, Yiannis...
MICCAI
2007
Springer
16 years 1 months ago
Adaptive Metamorphs Model for 3D Medical Image Segmentation
Abstract. In this paper, we introduce an adaptive model-based segmentation framework, in which edge and region information are integrated and used adaptively while a solid model de...
Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas,...