2746 search results - page 462 / 550 » Case Study in Survivable Network System Analysis |
106
click to vote
MIR
2004
ACM
15 years 7 months ago
2004
ACM
Although digital images indexing and querying techniques have extensively been studied for the last years, few systems are dedicated to medical images today while the need for con...
112
Voted
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes the robust reading competitions for ICDAR 2003. With the rapid growth in research over the last few years on recognizing text in natural scenes, there is an u...
102
click to vote
IWPC
2002
IEEE
15 years 6 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
118
click to vote
FORMATS
2009
Springer
15 years 5 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
124
Voted
DOCENG
2005
ACM
15 years 3 months ago
2005
ACM
Fully automatic machine translation cannot produce high quality translation; Dialog-Based Machine Translation (DBMT) is the only way to provide authors with a means of translating...