4609 search results - page 335 / 922 » Automatic Generation of Sigma-Protocols |
154
Voted
DAGM
2003
Springer
15 years 12 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...
180
Voted
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
165
click to vote
EMNLP
2007
15 years 8 months ago
2007
We present an extension of phrase-based statistical machine translation models that enables the straight-forward integration of additional annotation at the word-level — may it ...
156
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
This study examines the utility of grammatical ephemeral random constants, and conducts an analysis of the preferences of evolutionary search when a number of different grammar ba...
181
click to vote
DT
2000
15 years 6 months ago
2000
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...