Sciweavers

9218 search results - page 127 / 1844
» RFID Technology and Applications
Sort
View
IUI
2003
ACM
15 years 11 months ago
Intelligent dialog overcomes speech technology limitations: the SENECa example
We present a primarily speech-based user interface to a wide range of entertainment, navigation and communication applications for use in vehicles. The multimodal dialog enables t...
Wolfgang Minker, Udo Haiber, Paul Heisterkamp, Sve...
DALT
2009
Springer
15 years 9 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
FLAIRS
2008
15 years 8 months ago
Graph Grammars: An ITS Technology for Diagram Representations
For many educational applications such as learning tools for argumentation, structured diagrams are a suitable form of external representation. However, student-created graphs pos...
Niels Pinkwart, Kevin D. Ashley, Vincent Aleven, C...
PST
2008
15 years 7 months ago
Encoding the Program Correctness Proofs as Programs in PCC Technology
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
Heidar Pirzadeh, Danny Dubé
DAGSTUHL
2006
15 years 7 months ago
Bridging the Gap between Relocatability and Available Technology: The Erlangen Slot Machine
We present an FPGA-based reconfigurable platform called Erlangen Slot Machine (ESM). The main advantages of this platform are: First, the possibility for each module to access peri...
Diana Göhringer, Mateusz Majer, Jürgen T...