963 search results - page 124 / 193 » Modeling and analysis of real -time systems with mutex compo... |
222
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...
150
click to vote
WSC
2004
15 years 7 months ago
2004
The authors present the requirement definition and methodological approach for developing a new generation of Computer Generated Forces (CGF) based on Intelligent Agents. The anal...
194
click to vote
TMI
2008
15 years 6 months ago
2008
Abstract--A deformable registration method is proposed for registering a normal brain atlas with images of brain tumor patients. The registration is facilitated by first simulating...
341
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—Reading text from photographs is a challenging problem that has received a signicant amount of attention. Two key components of most systems are (i) text detection from images a...
193
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....