2361 search results - page 50 / 473 » Embedded Systems - Challenges and Work Directions |
ICPR
2002
IEEE
14 years 17 days ago
2002
IEEE
In this paper, we propose a robust approach for recognition of text embedded in natural scenes. Instead of using binary information as most other OCR systems do, we extract featur...
SAS
2001
Springer
14 years 1 days ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
PPDP
2001
Springer
14 years 1 days ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
MIDDLEWARE
2004
Springer
14 years 29 days ago
2004
Springer
In this paper, we survey three generation of reflective middleware research carried out at Lancaster University, present experiences gained from this research, and highlight a num...
ISSS
1999
IEEE
13 years 12 months ago
1999
IEEE
Decreasing the program size has become an important goal in the design of embedded systems target to mass production. This problem has led to a number of efforts aimed at designin...