4341 search results - page 532 / 869 » Quantitative Model checking |
198
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
162
click to vote
JCS
2011
15 years 1 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
159
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper presents a robust warping method for minutiae based fingerprint matching approaches. In this method, a deformable fingerprint surface is described using a triangular me...
182
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a new surface content completion framework that can restore both shape and appearance from scanned, incomplete point set inputs. First, the geometric holes can...
188
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
In the task of adaptive information filtering, a system receives a stream of documents but delivers only those that match a person's information need. As the system filters i...