6014 search results - page 13 / 1203 » Parametric Analysis of Computer Systems |
ICPR
2006
IEEE
15 years 21 min ago
2006
IEEE
Multimodal distribution fitting is an important task in pattern recognition. For instance, the predetection which is the preliminary stage that limits image areas to be processed i...
CIKM
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
SMA
1993
ACM
14 years 3 months ago
1993
ACM
: Parametric design is an important modeling paradigm in computer aided design. Relationships (constraints) between the degrees of freedom (DOFs) of the model, instead of the DOFs ...
RTSS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
CAV
1997
Springer
14 years 3 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...