4609 search results - page 589 / 922 » Automatic Generation of Sigma-Protocols |
187
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
130
click to vote
IDA
2003
Springer
15 years 12 months ago
2003
Springer
The Fellegi-Holt method automatically “corrects” data that fail some predefined requirements. Computer implementations of the method were used in many national statistics bure...
188
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—In many search domains, both contents and searches are frequently tied to named entities such as a person, a company or similar. An example of such a domain is a news archive. O...
188
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a framework for construction of animated models from captured surface shape of real objects. Algorithms are introduced to transform the captured surface shape ...
175
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Enabling technology for realizing ad-hoc business processes currently is becoming more and more popular, like for example web services. Ad-hoc business processes are semantically c...