Sciweavers

1581 search results - page 203 / 317
» Domain semantics of possibility computations
Sort
View
78
Voted
ISCC
2007
IEEE
15 years 7 months ago
Gaining Flexibility by Security Protocol Transfer
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
Per Harald Myrvang, Tage Stabell-Kulø
101
Voted
ATAL
2007
Springer
15 years 6 months ago
Approximate state estimation in multiagent settings with continuous or large discrete state spaces
We present a new method for carrying out state estimation in multiagent settings that are characterized by continuous or large discrete state spaces. State estimation in multiagen...
Prashant Doshi
115
Voted
EDUTAINMENT
2007
Springer
15 years 6 months ago
Using Metaphors in Game-Based Education
In spite of its growing popularity, due to a huge technical evolution in the last years and to the fact that new generations are more literate in games than in books, game-based te...
Pedro Pablo Gómez-Martín, Marco Anto...
109
Voted
HAPTICS
2003
IEEE
15 years 6 months ago
Designing the Haptic Turntable for Musical Control
In this paper, we discuss the design and implementation of D’Groove, an intelligent Disc Jockey (DJ) system that features the use of haptic force feedback to expand the expressi...
Tim Beamish, Karon E. MacLean, Sidney Fels
115
Voted
ICML
1989
IEEE
15 years 4 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning