278 search results - page 9 / 56 » A Framework for Counterexample Generation and Exploration |
CVPR
2005
IEEE
14 years 2 months ago
2005
IEEE
Here we explore a discriminative learning method on underlying generative models for the purpose of discriminating between object categories. Visual recognition algorithms learn m...
VISSYM
2007
13 years 10 months ago
2007
We present a novel framework for analysis and visualization of fish schools in 3D sonar surveys. The 3D sonar technology is new and there have not been applications to visualize t...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Empirical analyses of complex games necessarily focus on a restricted set of strategies, and thus the value of empirical game models depends on effective methods for selectively e...
VISSYM
2007
13 years 10 months ago
2007
Time series are a data type of utmost importance in many domains such as business management and service monitoring. We address the problem of visualizing large time-related data ...
WSC
2004
13 years 9 months ago
2004
Human behavior representation (HBR) is an elusive, yet critical goal for many in the simulation community. Requirement specifications related to HBR often exceed current capabilit...