12052 search results - page 608 / 2411 » computing 2010 |
199
click to vote
KSEM
2010
Springer
15 years 5 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
177
click to vote
DCC
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose new data structures for navigation in sequences of balanced parentheses, a standard tool for representing compressed trees. The most striking property of our approach is...
156
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We consider a simple statistical model of the image, in which the image is represented as a sum of two parts: one part is explained by an i.i.d. color Gaussian mixture and the oth...
208
click to vote
CIE
2010
Springer
15 years 12 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
182
click to vote
ACMIDC
2010
15 years 11 months ago
2010
In designing communication technology for children, it is important to understand the affective benefits and costs introduced by a particular medium. We present an Affective Benef...