3555 search results - page 366 / 711 » Security-Critical System Development with Extended Use Cases |
182
click to vote
IJOE
2008
15 years 5 months ago
2008
: This paper presents a web-based laboratory for distance learners by incorporating simulation and hardware implementation into web-based e-learning systems. It presents a developm...
349
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...
192
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper describes an approach to providing lexical information for natural language processing in unrestricted domains. A system of approximately 1200 morphological rules is us...
199
click to vote
HYBRID
1998
Springer
15 years 11 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....
168
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
The increasing availability of large-scale location traces creates unprecedent opportunities to change the paradigm for knowledge discovery in transportation systems. A particular...