986 search results - page 116 / 198 » Generalized Goal Programming: polynomial methods and applica... |
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Existing value function approximation methods have been successfully used in many applications, but they often lack useful a priori error bounds. We propose a new approximate bili...
WWW
2006
ACM
14 years 10 months ago
2006
ACM
In this short note we demonstrate the applicability of hyperlink downweighting by means of language model disagreement. The method filters out hyperlinks with no relevance to the ...
WWW
2002
ACM
14 years 10 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
VMV
2001
13 years 10 months ago
2001
Shape information is utilized by numerous applications in computer vision, scientific visualization and computer graphics. This paper presents a novel algorithm for exploring and ...