854 search results - page 48 / 171 » Addressing Dynamic Issues of Program Model Checking |
115
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Many computer vision applications have to cope with large dynamic range and changing illumination conditions in the environment. Any attempt to deal with these conditions at the a...
131
click to vote
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
119
click to vote
FGR
1998
IEEE
15 years 6 months ago
1998
IEEE
We propose a framework for fast view alignment using adaptive affine tracking. We address the issue of modelling both shape and texture information in eigenspace for view alignmen...
121
click to vote
AIIA
2005
Springer
15 years 4 months ago
2005
Springer
Incremental processing is relevant for language modeling, speech recognition and language generation. In this paper we devise a dynamic version of Tree Adjoining Grammar (DVTAG) th...
119
Voted
OOGRAPHICS
1992
15 years 6 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...