862 search results - page 57 / 173 » A Solution for the Problem of Interactive Disambiguation |
163
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
154
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Identifying and controlling bias is a key problem in empirical sciences. Causal diagram theory provides graphical criteria for deciding whether and how causal effects can be iden...
163
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
173
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
In object-based video, the encoding of the video data is decoupled into the encoding of shape, motion and texture information, which enables certain functionalities like content-b...
145
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Hierarchy visualization has been a hot topic in the Information Visualization community for the last decade. An emerging new information structure is multiple intersecting hierarc...