5619 search results - page 882 / 1124 » A Region Inference Algorithm |
171
click to vote
CINQ
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
184
click to vote
ECCV
2004
Springer
16 years 1 days ago
2004
Springer
Stochastic tracking of structured models in monolithic state spaces often requires modeling complex distributions that are difficult to represent with either parametric or sample...
210
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
201
click to vote
IMR
2004
Springer
16 years 1 days ago
2004
Springer
A surface is often approximated by a network of triangular facets. In the absence of a precise mathematical description of the underlying surface all information about surface pro...
203
click to vote
ISSAC
2004
Springer
16 years 1 days 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...