Sciweavers

3051 search results - page 161 / 611
» Learning Internal Representations
Sort
View
MKM
2009
Springer
15 years 10 months ago
MathLang Translation to Isabelle Syntax
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
Robert Lamar, Fairouz Kamareddine, J. B. Wells
117
Voted
ATAL
2007
Springer
15 years 9 months ago
Knowledge and observations in the situation calculus
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
Ryan F. Kelly, Adrian R. Pearce
IDEAL
2005
Springer
15 years 9 months ago
Recursive Self-organizing Map as a Contractive Iterative Function System
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...
Peter Tiño, Igor Farkas, Jort van Mourik
KES
2004
Springer
15 years 9 months ago
Interpretation of Emotionally Expressive Characters in an Intercultural Communication
This paper reports an early result of an evaluation experiment of emotionally expressive characters for intercultural communication. The experiment was conducted as a series of dis...
Tomodo Koda
117
Voted
HICSS
2003
IEEE
99views Biometrics» more  HICSS 2003»
15 years 8 months ago
"Yeah, the Rush ain't here yet - Take a break": Creation and Use of an Artifact as Organizational Memory
In order to understand organizational memory, it is important to understand how things become adopted as memory resources in organizations. In this paper, we describe the genesis ...
Christine Halverson, Mark S. Ackerman