153 search results - page 29 / 31 » Efficient inference on sequence segmentation models |
FORTE
2004
13 years 9 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
We present an integrated model for visual object localization and continuous state estimation in a discriminative structured prediction framework. While existing discriminative `p...
MMS
2006
13 years 7 months ago
2006
Motion trajectories provide rich spatio-temporal information about an object's activity. The trajectory information can be obtained using a tracking algorithm on data streams ...
TIP
2008
13 years 7 months ago
2008
Detection of moving objects in video streams is the first relevant step of information extraction in many computer vision applications. Aside from the intrinsic usefulness of being...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
We map intrusion events to known exploits in the network attack graph, and correlate the events through the corresponding attack graph distances. From this, we construct attack sc...