12052 search results - page 676 / 2411 » computing 2010 |
218
click to vote
FAC
2010
15 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
178
click to vote
IEPOL
2010
15 years 4 months ago
2010
We provide a new perspective on the impact of unauthorized copying and copy levies on artistic creation. Our analysis emphasizes three important aspects of artistic markets: the p...
211
click to vote
JMLR
2010
15 years 2 months ago
2010
We present new measures of the causal direction between two non-gaussian random variables. They are based on the likelihood ratio under the linear non-gaussian acyclic model (LiNG...
227
click to vote
JMLR
2010
15 years 2 months ago
2010
Current research on data stream classification mainly focuses on certain data, in which precise and definite value is usually assumed. However, data with uncertainty is quite natu...
172
click to vote
HRI
2010
ACM
16 years 2 months ago
2010
ACM
—This video presents a computer vision based system for interaction between a single human and multiple robots. Face contact and motion-based gestures are used as two different n...