Sciweavers

3116 search results - page 413 / 624
» Positively dependent types
Sort
View
FLAIRS
2000
15 years 8 months ago
Actively Supporting Collaboration in Virtual Learning Environments
Collaboration between peers is an important aspect of the learning process and can considerably augment learning in studying complex domains. To ensure that peer collaboration occ...
Adrian Gordon, Lynne E. Hall
IJCAI
1997
15 years 8 months ago
Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell and Kapla...
Marc Dymetman
WSCG
2000
101views more  WSCG 2000»
15 years 8 months ago
The Gait Sensing Disc - A Compact Locomotion Device for the Virtual Environment
The locomotion device is an input interface, which can sense the walking pace and direction of the user, for the virtual reality system. This paper presents a new type of locomoti...
Jiung-yao Huang, Wen-hsin Chiu, Yung-ting Lin, Hua...
ECAI
2010
Springer
15 years 7 months ago
Event Model Learning from Complex Videos using ILP
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
Krishna S. R. Dubba, Anthony G. Cohn, David C. Hog...
ICML
2010
IEEE
15 years 7 months ago
Restricted Boltzmann Machines are Hard to Approximately Evaluate or Simulate
Restricted Boltzmann Machines (RBMs) are a type of probability model over the Boolean cube {-1, 1}n that have recently received much attention. We establish the intractability of ...
Philip M. Long, Rocco A. Servedio