886 search results - page 122 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
110
click to vote
SCIA
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we describe a dense motion segmentation method for wide baseline image pairs. Unlike many previous methods our approach is able to deal with deforming motions and lar...
147
click to vote
TKDE
2012
13 years 3 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
117
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Most gene finders score candidate gene models with state-based methods, typically HMMs, by combining local properties (coding potential, splice donor and acceptor patt...
115
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...
150
click to vote
RTSS
2002
IEEE
15 years 6 months ago
2002
IEEE
When executing soft real-time tasks in a shared processor, it is important to properly allocate the computational resources such that the quality of service requirements of each t...