209 search results - page 26 / 42 » Inductive Reasoning and Programming Visualization, an Experi... |
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this work we propose a scanline optimization procedure for computational stereo using a linear smoothness cost model performed by programmable graphics hardware. The main idea ...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
ML
2000
ACM
13 years 7 months ago
2000
ACM
The naive Bayesian classifier provides a simple and effective approach to classifier learning, but its attribute independence assumption is often violated in the real world. A numb...
PCM
2004
Springer
14 years 28 days ago
2004
Springer
In this paper, we proposed a novel decision fusion scheme based on the psychological observations on human beings’ visual and aural attention characteristics, which combines a se...