3909 search results - page 264 / 782 » Extreme Model Checking |
125
Voted
ECIS
2004
15 years 4 months ago
2004
Since the 1960's many authors accepted the triple constraints (time, cost, specification) as a standard measure of success and this still appears to be extremely important in...
146
Voted
SOCO
2002
Springer
15 years 3 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
101
Voted
AVSS
2006
IEEE
2006
IEEE
"Hybrid Cone-Cylinder" Codebook Model for Foreground Detection with Shadow and Highlight Suppression
15 years 9 months ago
In the interest of 24-7 long-term surveillance, a truly robust, adaptive, and fast background-foreground segmentation technique is required. This paper deals with the especially d...
108
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Computing a few eigenpairs of large-scale matrices is a significant problem in science and engineering applications and a very active area of research. In this paper, two methods...
128
Voted
FSTTCS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...