2370 search results - page 187 / 474 » The Characterization of Data-Accumulating Algorithms |
130
click to vote
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
135
Voted
SIBGRAPI
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a new approach based on morphological operators for application of biometric identification of individuals by segmentation and analysis of the iris. Algorithms ...
125
click to vote
DAWAK
2003
Springer
15 years 9 months ago
2003
Springer
View materialization is recognized to be one of the most effective ways to increase the Data Warehouse performance; nevertheless, due to the computational complexity of the techniq...
113
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a linear solution for reconstructing the 3D trajectory of a moving point from its correspondence in a collection of 2D perspective images, given the 3D spatial ...
117
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...