3238 search results - page 224 / 648 » On the Computational Interpretation of Negation |
204
click to vote
DCOSS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We have developed TakaTuka, a Java Virtual Machine optimized for tiny embedded devices such as wireless sensor motes. TakaTuka1 requires very little memory and processing...
164
click to vote
COLING
1999
15 years 6 months ago
1999
languages into a general system for describing parsers. Eachparser performs abstract computations using theoperations ofasemiring. Thesystem allows asingle, simple representation t...
170
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Video conferencing is still considered a poor alternative to face-to-face meetings. In the business setting, where these systems are most prevalent, the misuse of video conferenci...
174
click to vote
ICDT
2010
ACM
15 years 10 months ago
2010
ACM
Several computational problems in phylogenetic reconstruction can be formulated as restrictions of the following general problem: given a formula in conjunctive normal form where ...
157
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
1 We address the problem of vector-valued image regularization with variational methods and PDE's. From the study of existing formalisms, we propose a unifying framework base...