Sciweavers

2633 search results - page 488 / 527
» Using Robust Methods for Automatic Extraction of Buildings
Sort
View
CVPR
2008
IEEE
16 years 2 days ago
Order consistent change detection via fast statistical significance testing
Robustness to illumination variations is a key requirement for the problem of change detection which in turn is a fundamental building block for many visual surveillance applicati...
Maneesh Singh, Vasu Parameswaran, Visvanathan Rame...
POPL
2000
ACM
15 years 2 months ago
Enforcing Trace Properties by Program Transformation
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
Thomas Colcombet, Pascal Fradet
ASMTA
2008
Springer
167views Mathematics» more  ASMTA 2008»
15 years 2 days ago
Perfect Simulation of Stochastic Automata Networks
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
Paulo Fernandes, Jean-Marc Vincent, Thais Webber
MICCAI
2009
Springer
15 years 5 months ago
Multi-level Ground Glass Nodule Detection and Segmentation in CT Lung Images
Early detection of Ground Glass Nodule (GGN) in lung Computed Tomography (CT) images is important for lung cancer prognosis. Due to its indistinct boundaries, manual detection and ...
Yimo Tao, Le Lu, Maneesh Dewan, Albert Y. Chen, Ja...
SIGIR
2009
ACM
15 years 4 months ago
Web derived pronunciations for spoken term detection
Indexing and retrieval of speech content in various forms such as broadcast news, customer care data and on-line media has gained a lot of interest for a wide range of application...
Dogan Can, Erica Cooper, Arnab Ghoshal, Martin Jan...