3239 search results - page 250 / 648 » A Logical Process Calculus |
167
click to vote
ICCAD
2007
IEEE
16 years 2 months ago
2007
IEEE
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...
139
click to vote
ECBS
2008
IEEE
15 years 11 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
184
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
130
click to vote
JUCS
2010
15 years 3 months ago
2010
: Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches. The aim of this paper is to show noteworthy theoretical and applicati...
161
click to vote
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...