4401 search results - page 614 / 881 » Computing with Default Logic |
147
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
This paper investigates the role of existing "probabilistic" schemes to reason about various everyday situations on the basis of data from multiple heterogeneous physical...
132
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
In this paper, we describe the middleware that has evolved from our attempt to capture user descriptions of policies controlling devices and services from natural language. Descri...
121
Voted
ICCD
2008
IEEE
16 years 2 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
160
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
— This paper presents Hermes, a depth-optimal LUT based FPGA mapping algorithm. The presented algorithm is based on a new strategy for finding LUTs allowing to find a good LUT ...
163
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...