2013 search results - page 374 / 403 » Computational data modeling for network-constrained moving o... |
130
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
142
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose an iterative probabilistic algorithm for estimation of RNA secondary structure using sequence data from two homologous sequences. The method is intended to exploit inte...
109
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...
156
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
140
Voted
SCALESPACE
2005
Springer
15 years 9 months ago
2005
Springer
The problem of image deblurring in the presence of salt and pepper noise is considered. Standard image deconvolution algorithms, that are designed for Gaussian noise, do not perfor...