6020 search results - page 233 / 1204 » A New Approach to Model Counting |
154
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
We propose Markov chain Monte Carlo sampling methods to address uncertainty estimation in disparity computation. We consider this problem at a postprocessing stage, i.e. once the d...
133
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 11 months ago
2009
ACM
Intuitive use is met when prior knowledge is transferred to new task environments. The empirical fact that transfer relies on schemas led us to diagnose intuitiveness based on sch...
137
click to vote
SP
2007
IEEE
15 years 11 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
172
click to vote
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
155
Voted
ICW
2005
IEEE
15 years 10 months ago
2005
IEEE
The MPEG-4 standard includes support not only for natural video and audio, but also for synthetic graphics and sounds. In the MPEG-4 specifications, Body Animation Parameters (BAP...