2302 search results - page 209 / 461 » Testing as Abstraction |
164
click to vote
LCPC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
162
click to vote
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
175
click to vote
MATES
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
172
click to vote
MICCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Image segmentation algorithms derived from spectral clustering analysis rely on the eigenvectors of the Laplacian of a weighted graph obtained from the image. The NCut cr...
163
click to vote
MLCW
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper describes Macquarie University’s Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to...