3564 search results - page 455 / 713 » Evaluating a Formal Modelling Language |
120
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
We present a technique which complements Hidden Markov Models by incorporating some lexicalized states representing syntactically uncommon words. 'Our approach examines the d...
160
Voted
AUTOID
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we outline a framework for appropriate and proper usage of simulated data for biometric authentication. Currently, there are no formal guidelines concerning the use...
146
click to vote
CIKM
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we are mainly concerned with discussion of a formal model, based on the basic concept of divergence from information theory, for automatic query expansion. The basic...
116
click to vote
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
120
Voted
MKWI
2008
15 years 5 months ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...