2268 search results - page 6 / 454 » The Essence of Form Abstraction |
AIPS
2000
13 years 9 months ago
2000
AAAI
2011
12 years 8 months ago
2011
CORR
2007
Springer
13 years 7 months ago
2007
Springer
: User’s perception of product, by essence subjective, is a major topic in marketing and industrial design. Many methods, based on users’ tests, are used so as to characterise ...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...