17543 search results - page 3043 / 3509 » Stochastic Optimization Algorithms |
211
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
217
click to vote
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
Stereo matching and volumetric reconstruction are the most explored 3D scene recovery techniques in computer vision. Many existing approaches assume perspective input images and us...
220
click to vote
CGO
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
217
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
210
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Graph drawing and visualization represent structural information ams of abstract graphs and networks. An important subset of graphs is directed acyclic graphs (DAGs). E-Spring alg...