1138 search results - page 145 / 228 » Scale-Time Kernels and Models |
MEMOCODE
2010
IEEE
13 years 6 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
TVCG
2011
13 years 3 months ago
2011
—Current visual analytics systems provide users with the means to explore trends in their data. Linked views and interactive displays provide insight into correlations among peop...
ASPLOS
2011
ACM
13 years 15 days ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We describe a learning based method for recovering 3D human body pose from single images and monocular image sequences. Our approach requires neither an explicit body model nor pr...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a new multiple instance learning (MIL) algorithm to learn image categories. Unlike existing MIL algorithms, in which the individual instances in a bag are assumed to be...