1581 search results - page 247 / 317 » Domain semantics of possibility computations |
CMC
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this chapter we report on an investigation into the principles underlying the choice of a particular referential expression to refer to an object located in a domain t...
GI
1998
Springer
14 years 2 months ago
1998
Springer
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html) is a freely accessible Internet archive with three-dimensional (3D) structural informat...
ICAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Search spammers use questionable search engine optimization techniques to promote their spam links into top search results. Large-scale spammers target commerce queries that they ...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
DAGM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We propose to tackle the optical flow problem by a combination of two recent advances in the computation of dense correspondences, namely the incorporation of image segme...