3706 search results - page 232 / 742 » System Description: E-KRHyper |
77
Voted
ECCV
1990
Springer
16 years 2 months ago
1990
Springer
This paper describes techniques for dynamically modeling the 2-D appearance and 3-D geometry of a
scene by integrating information from a moving camera. These techniques are illus...
79
Voted
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
114
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
92
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...