2067 search results - page 189 / 414 » Logics of propositional control |
153
click to vote
UC
2007
Springer
16 years 20 days ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
157
click to vote
CHI
1996
ACM
15 years 10 months ago
1996
ACM
The goal of `Computer Augmented Environments' is to bring computational power to everyday objects with which users are already familiar, so that the user interface to this co...
199
click to vote
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
While context-awareness has been found to be effective for decision support in complex domains, most of such decision support systems are hard-coded, incurring significant develop...
196
click to vote
NGC
2006
Springer
15 years 6 months ago
2006
Springer
Analogy is a powerful boundary-transcending process that exploits a conceptual system's ability to perform controlled generalization in one domain and re-specialization into ...
152
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: We present a new type of sat problem called the k-gd-sat, which generalizes k-sat and gd-sat. In k-gd-sat, clause lengths have geometric distribution, controlled by a pro...