1096 search results - page 175 / 220 » Abstract Canonical Inference |
105
click to vote
ISSAC
2004
Springer
15 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
15 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
15 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
15 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 ...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— Network monitoring and diagnosis are key to improving network performance. The difficulties of performance monitoring lie in today’s fast growing Internet, accompani...