3804 search results - page 83 / 761 » From Here to There |
156
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
176
click to vote
FOCS
2000
IEEE
15 years 10 months ago
2000
IEEE
For many probability distributions of interest, it is quite difficult to obtain samples efficiently. Often, Markov chains are employed to obtain approximately random samples fro...
144
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper addresses robust automatic orientation, calibration, and disparity estimation for generating visualizations from image triplets. Here, robust means, that meani...
173
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminate...
179
click to vote
LOPSTR
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...