8125 search results - page 1304 / 1625 » Adaptable and Adaptive Hypermedia Systems |
201
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Java applications rely on Just-In-Time (JIT) compilers or adaptive compilers to generate and optimize binary code at runtime to boost performance. In conventional Java Virtual Mac...
167
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a non-interactive system for reducing the level of OCR-induced typographical variation in large text collections, contemporary and historical. Text-Induced Corp...
181
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
201
Voted
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. E-Learning grows on the fertile soil of the Internet technologies; it fails, however, to reach their full potential. With new, emerging technologies of the second generat...
205
click to vote
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
Creating a high throughput sparse matrix vector multiplication (SpMxV) implementation depends on a balanced system design. In this paper, we introduce the innovative SpMxV Solver ...