1661 search results - page 196 / 333 » Real-time specification patterns |
110
click to vote
JUCS
2006
15 years 1 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
109
Voted
TKDE
2008
15 years 1 months ago
2008
Linear Discriminant Analysis (LDA) has been a popular method for extracting features that preserves class separability. The projection functions of LDA are commonly obtained by max...
122
click to vote
ICB
2009
Springer
14 years 11 months ago
2009
Springer
We present in this communication a new biometric system based on the use of hand veins acquired by an infrared imager. After the preprocessing stage and binarization, the vein imag...
JGS
2010
14 years 8 months ago
2010
The purpose of this paper is to suggest estimators for the parameters of spatial models containing a spatially lagged dependent variable, as well as spatially lagged independent va...
134
click to vote
EDBT
2002
ACM
16 years 1 months ago
2002
ACM
Abstract. Estimating the sizes of query results, and intermediate results, is crucial to many aspects of query processing. In particular, it is necessary for effective query optimi...