278 search results - page 37 / 56 » A Framework for Counterexample Generation and Exploration |
PVLDB
2008
13 years 8 months ago
2008
Trajectory classification, i.e., model construction for predicting the class labels of moving objects based on their trajectories and other features, has many important, real-worl...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
We describe a probabilistic framework for recognizing human activities in monocular video based on simple silhouette observations in this paper. The methodology combines kernel pr...
EDBT
2008
ACM
14 years 8 months ago
2008
ACM
Conceptual complexity is emerging as a new bottleneck as data-base developers, application developers, and database administrators struggle to design and comprehend large, complex...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Experimental analysis of agent strategies in multiagent systems presents a tradeoff between granularity and statistical confidence. Collecting a large amount of data about each s...
FDL
2005
IEEE
14 years 2 months ago
2005
IEEE
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as Sy...