7623 search results - page 904 / 1525 » Constructive Volume Modeling |
207
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...
165
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper a new technique for partial product reduction based on the use of look-up tables for efficient processing is presented. We describe how to construct counter devices ...
146
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a critical view of existing models of user experience. These models view experience as the subjective response in the individual's mind. While designers a...
311
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
239
click to vote
SIGMOD
2001
ACM
16 years 7 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...