Sciweavers

5290 search results - page 208 / 1058
» Knowledge Processing in Intelligent Systems
Sort
View
IJIT
2004
15 years 7 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
ICMI
2005
Springer
164views Biometrics» more  ICMI 2005»
15 years 12 months ago
A user interface framework for multimodal VR interactions
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...
Marc Erich Latoschik
ICAIL
2007
ACM
15 years 10 months ago
How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
Luca Compagna, Paul El Khoury, Fabio Massacci, Res...
FLAIRS
2004
15 years 7 months ago
Towards a Linguistically Motivated Ontology of Motion: Situation Based Synsets of Motion Verbs
The paper aims at contributing to the problem of designing ontologies for spatio-temporal knowledge representation. We consider a linguistically oriented, situation-based methodol...
Zygmunt Vetulani
TLT
2010
82views more  TLT 2010»
15 years 1 months ago
Annie: Automated Generation of Adaptive Learner Guidance for Fun Serious Games
This paper describes some of the difficulties inherent in building intelligent educational games, specifically the challenge of integrating pedagogy with core game play. We introdu...
James M. Thomas, R. Michael Young