11397 search results - page 1975 / 2280 » A Relational Abstraction for Functions |
209
Voted
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
322
click to vote
NABIC
2010
15 years 2 months ago
2010
Abstract--Ant Colony Optimization (ACO) is a problemsolving technique that was inspired by the related research on the behavior of real-world ant colony. In the domain of Network-o...
234
click to vote
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
While several image-based rendering techniques have been proposed to successfully render scenes/objects from a large collection (e.g., thousands) of images without explicitly reco...
254
Voted
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
Interactive digital matting, the process of extracting a foreground object from an image based on limited user input, is an important task in image and video editing. From a compu...
214
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...