3082 search results - page 344 / 617 » Deviation Analysis: A New Use of Model Checking |
171
click to vote
IPL
2008
15 years 6 months ago
2008
We consider the online problem of scheduling jobs with equal processing times on a single machine. Each job has a release time and a deadline, and the goal is to maximize the numb...
183
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Recognition of motions and activities of objects in videos requires effective representations for analysis and matching of motion trajectories. In this paper, we introduce a new r...
150
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper examines the identification of multi-input systems. Motivated by an experiment design problem (should one excite the various inputs simultaneously or separately), we ex...
182
click to vote
CSB
2005
IEEE
16 years 5 days ago
2005
IEEE
Peptide compositions constructed out of whole sets of protein sequences can be used as species signatures for phylogenetic analysis. To account for point mutations, an amino acid ...
199
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
This paper addresses the segmentation from an image of entities that have the form of a `network', i.e. the region in the image corresponding to the entity is composed of bran...