10568 search results - page 179 / 2114 » Computer Intelligence and Formalization |
113
Voted
DAC
1994
ACM
15 years 6 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
125
Voted
ERSHOV
1993
Springer
15 years 6 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
129
Voted
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
124
Voted
CAD
2007
Springer
15 years 2 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
120
Voted
KSEM
2010
Springer
15 years 21 days ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...