7040 search results - page 316 / 1408 » The Single Model Principle |
141
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
166
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Clustering video sequences in order to infer and extract activities from a single video stream is an extremely important problem and has significant potential in video indexing, s...
182
click to vote
ICIAP
2001
Springer
16 years 6 months ago
2001
Springer
We describe an algorithm for the automatic features detection in 2D color images of human faces. The algorithm proceeds with subsequent refinements. First, it identifies the sub-i...
165
click to vote
CONCUR
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
171
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses issues of task clustering-the coalition of several fine grain tasks into single coarser grain tasks called task clusters+md task cluster scheduling on distrib...