2421 search results - page 136 / 485 » Integrity Assurance Technique Using Determinant Approach |
220
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
115
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
We address the problem of advice-taking in a given domain, in particular for building a game-playing program. Our approach to solving it strives for the application of machine lea...
104
Voted
TE
2010
14 years 7 months ago
2010
Abstract--As demand increases for circuits with higher performance, higher complexity, and decreased feature size, asynchronous (clockless) paradigms will become more widely used i...
112
Voted
CASES
2010
ACM
14 years 10 months ago
2010
ACM
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...