15155 search results - page 2732 / 3031 » System Software |
168
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
174
click to vote
ICWE
2004
Springer
16 years 3 hour ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
211
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
182
click to vote
ROBOCUP
2004
Springer
15 years 12 months ago
2004
Springer
We show how to apply learning methods to two robotics problems, namely the optimization of the on-board controller of an omnidirectional robot, and the derivation of a model of the...
187
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...