3238 search results - page 321 / 648 » On the Computational Interpretation of Negation |
115
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We created a simple-to-use framework to construct gazeresponsive applications using web technology focussing on text. A plugin enables any compatible browser to interpret a new se...
170
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Graphs are a versatile representation of many systems in computer science, the social sciences, and mathematics, but graph theory is not taught in schools. We present our work on ...
174
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a new type of input for mobile devices by sensing forces applied by users to device casings. Deformation of the devices is not necessary for such “force gest...
174
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The label switching problem, the unidentifiability of the permutation of clusters or more generally latent variables, makes interpretation of results computed with MCMC ...
163
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...