912 search results - page 150 / 183 » Abstract Saturation-Based Inference |
ICWE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In recent years numerous Web application modeling languages have been developed and others improved. There has, however, been little research on how these languages may b...
ISSAC
2004
Springer
14 years 3 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
PAKDD
2004
ACM
14 years 3 months ago
2004
ACM
Abstract. The sharing of association rules is often beneficial in industry, but requires privacy safeguards. One may decide to disclose only part of the knowledge and conceal stra...
ECCV
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We present a new parsing framework for the line-based geometric analysis of a single image coming from a man-made environment. This parsing framework models the scene as ...
ECCV
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We address the problem of detecting human figures in images, taking into account that the image of the human figure may be taken from a range of viewpoints. We capture ...