1581 search results - page 24 / 317 » Domain semantics of possibility computations |
AUSAI
2004
Springer
14 years 3 months ago
2004
Springer
Most propagation-based set constraint solvers approximate the set of possible sets that a variable can take by upper and lower bounds, and perform so-called set bounds propagation....
CSSE
2004
IEEE
13 years 9 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose a film directing semantics taxonomy grounded upon cinematographic elements to unlock the immense potential for motion indexing in the subtler and much neglected film do...
SEMCO
2008
IEEE
14 years 4 months ago
2008
IEEE
While semantic search technologies have been proven to work well in specific domains, they still have to confront two main challenges to scale up to the Web in its entirety. In th...