5234 search results - page 192 / 1047 » Method Components - Rationale Revealed |
125
Voted
ACHI
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper analyzes the benefit and the limitations of using a particular biometric technology “namely face authentication” for banking applications. We present first the ge...
119
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In general, digital images can be classified into photographs and computer graphics. This taxonomy is very useful in many applications, such as web image search. However, there ar...
134
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
158
Voted
FMSB
2008
15 years 5 months ago
2008
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
113
click to vote
NIPS
2004
15 years 4 months ago
2004
In this paper, we use the rollout method for policy improvement to analyze a version of Klondike solitaire. This version, sometimes called thoughtful solitaire, has all cards reve...