3238 search results - page 140 / 648 » On the Computational Interpretation of Negation |
199
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
171
click to vote
ICALT
2005
IEEE
16 years 2 days ago
2005
IEEE
: The development of cooperative, flexible and reusable learning environments is a need in modern education. The IMS Learning Design specification has played a very important role ...
156
click to vote
NIME
2005
Springer
15 years 12 months ago
2005
Springer
Discussion of time in interactive computer music systems engineering has been largely limited to data acquisition rates and latency. Since music is an inherently time-based medium...
167
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
185
click to vote
MOBISYS
2008
ACM
15 years 8 months ago
2008
ACM
Kimberley enables rapid software provisioning of fixed infrastructure for transient use by a mobile device. It uses virtual machine (VM) technology, but avoids the performance cha...