Sciweavers

12107 search results - page 98 / 2422
» Software That Can Think
Sort
View
IWC
2006
62views more  IWC 2006»
13 years 8 months ago
Clover: Connecting technology and character education using personally-constructed animated vignettes
Schools are increasingly integrating character education to facilitate improved moral thinking and pro social behavior among students. An effective method for delivering character...
Brian P. Bailey, Sharon Tettegah, Terry J. Bradley
LOGCOM
2008
110views more  LOGCOM 2008»
13 years 8 months ago
Sum and Product in Dynamic Epistemic Logic
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
KES
2006
Springer
13 years 8 months ago
Construction of Symbolic Representation from Human Motion Information
Abstract In general, avatar-based communication has a merit that it can represent non-verbal information. The simplest way of representing the non-verbal information is to capture ...
Yutaka Araki, Daisaku Arita, Rin-ichiro Taniguchi,...
SYNTHESE
2008
71views more  SYNTHESE 2008»
13 years 8 months ago
Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
Ingvar Johansson
TVCG
2008
113views more  TVCG 2008»
13 years 8 months ago
A Spreadsheet Approach to Facilitate Visualization of Uncertainty in Information
Information uncertainty is inherent in many problems and is often subtle and complicated to understand. While visualization is a powerful means for exploring and understanding info...
Alexander Streit, Binh Pham, Ross Brown