2673 search results - page 349 / 535 » Guided Static Analysis |
147
Voted
ENTCS
2002
15 years 4 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
214
click to vote
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
140
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
Currently, video analysis algorithms suffer from lack of information
regarding the objects present, their interactions,
as well as from missing comprehensive annotated video
dat...
156
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, we present a system for the temporal segmentation, summarization, and browsing of the Echocardiogram videos. Echocardiogram videos are video sequences produced by t...
150
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
The paper presents several novel 3D image analysis algorithms, applied towards the segmentation and modeling of faces and hands. These are subsequently used to build a face-based ...