4460 search results - page 274 / 892 » Formal methods for interactive systems |
185
click to vote
CARS
2001
15 years 7 months ago
2001
Most interactive segmentation methods are defined at a 2-d level requiring sometimes extensive interaction when the object of interest is difficult to be outlined by simple means ...
199
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents an interactive image segmentation framework which is ultra-fast and accurate. Our framework, termed "CO3", consists of three components: COupled repr...
173
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
153
click to vote
TABLETOP
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper we describe a method to support interaction with a cellphone based projectorcamera system. We describe a novel approach that uses a technique known in Computer Visio...
136
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
The most attractive feature of 2D B-mode ultrasound for intra-operative use is that it is both a real time and a highly interactive modality. Most 3D freehand reconstruction method...