507 search results - page 90 / 102 » Counterexample-Guided Abstraction Refinement |
TVCG
2010
13 years 8 months ago
2010
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--In this paper we propose a new multi-view semisupervised learning algorithm called Local Co-Training (LCT). The proposed algorithm employs a set of local models with vect...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--Uintah is a highly parallel and adaptive multiphysics framework created by the Center for Simulation of Accidental Fires and Explosions in Utah. Uintah, which is built up...
SG
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Virtual environments (VEs) can be used to study issues related to human navigation, such as spatial knowledge acquisition. In our prior work, we introduced a new locomoti...
ICST
2009
IEEE
13 years 7 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...