4341 search results - page 702 / 869 » Quantitative Model checking |
150
click to vote
ACL
2008
15 years 8 months ago
2008
Written documents created through dictation differ significantly from a true verbatim transcript of the recorded speech. This poses an obstacle in automatic dictation systems as s...
163
click to vote
CARS
2004
15 years 7 months ago
2004
In this paper, a method is presented for detection of colonic polyps using both morphological and texture features of the colon wall from the abdominal computed tomography (CT) im...
176
click to vote
CRIWG
2004
15 years 7 months ago
2004
Collaborative distance learning involves a variety of elements and factors that have to be considered and measured in order to analyse and assess group and individual performance m...
162
click to vote
ICAI
2004
15 years 7 months ago
2004
Quantitatively establishing the discriminative power of iris biometric data is considered. Multi-level 2D wavelet transform has been widely used for iris verification system. Whil...
159
click to vote
PDPTA
2000
15 years 7 months ago
2000
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...