Sciweavers

4420 search results - page 83 / 884
» Evaluating a Computational Model of Emotion
Sort
View
COLING
1996
13 years 11 months ago
A Computational Model of Incremental Utterance Production in Task-Oriented Dialogues
This paper presents a comtmtational model of incremental utterance production in task-oriented dialogues. This model incrementally produces utterantes to propose the solution of a...
Kohji Dohsaka, Akira Shimazu
FECS
2010
143views Education» more  FECS 2010»
13 years 8 months ago
A Distributed Expertise Model for Teaching Computing Across Disciplines and Institutions
- Computing education has permeated virtually all disciplines, expanding learning with new technology and an updated definition of literacy that includes computational thinking. As...
Thomas Way, Lillian N. Cassel, Kim Pearson, Ursula...
CORR
2006
Springer
99views Education» more  CORR 2006»
13 years 10 months ago
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
Patrick Baillot, Marco Pedicini
FPL
2009
Springer
172views Hardware» more  FPL 2009»
14 years 2 months ago
Performance comparison of single-precision SPICE Model-Evaluation on FPGA, GPU, Cell, and multi-core processors
Automated code generation and performance tuning techniques for concurrent architectures such as GPUs, Cell and FPGAs can provide integer factor speedups over multi-core processor...
Nachiket Kapre, André DeHon
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
13 years 4 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto