1548 search results - page 169 / 310 » Computational Approaches to Sentence Completion |
ENTCS
2007
13 years 9 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
ICDT
2009
ACM
13 years 6 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
CCIA
2010
Springer
13 years 4 months ago
2010
Springer
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
ECCV
2000
Springer
14 years 10 months ago
2000
Springer
This paper considers projective reconstruction with a hierarchical computational structure of trifocal tensors that integrates feature tracking and geometrical validation of the f...