1039 search results - page 53 / 208 » The Def-inite Approach to Dependency Analysis |
HPCA
2003
IEEE
16 years 1 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
106
click to vote
ASIAN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
124
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
110
click to vote
CIKM
1997
Springer
15 years 5 months ago
1997
Springer
This paper presents an efficient algorithm for learning Bayesian belief networks from databases. The algorithm takes a database as input and constructs the belief network structur...
104
click to vote
WSCG
2003
15 years 2 months ago
2003
The design of a general purpose artificial vision system capable of recognizing arbitrarily complex threedimensional objects without human intervention is still a challenging task...