5900 search results - page 451 / 1180 » Dependable Systems |
258
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...
190
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
Skew-corrected document images are necessary for subsequent downstream operations such as archiving, printing or improving OCR performance. Image rotation is a necessary and more ...
157
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
This report is about our participation in the Answer Validation Exercise (AVE2008). Our system casts the AVE task into a Recognizing Textual Entailment (RTE) problem and uses an ex...
172
Voted
FASE
2005
Springer
16 years 11 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
172
click to vote
TNN
2008
15 years 6 months ago
2008
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...