Sciweavers

5387 search results - page 488 / 1078
» Generating generic functions
Sort
View
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
16 years 16 days ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
AAMAS
2005
Springer
16 years 14 days ago
Evolving the Game of Life
It is difficult to define a set of rules for a cellular automaton (CA) such that creatures with life-like properties (stability and dynamic behaviour, reproducton and self-repai...
Dimitar Kazakov, Matthew Sweet
ACII
2005
Springer
16 years 14 days ago
Investigation of Emotive Expressions of Spoken Sentences
When we meet an emotion keyword in a sentence that expresses a kind of emotion, or a word that does not directly express emotion but carries an attitude clue, it could be the case ...
Wenjie Cao, Chengqing Zong, Bo Xu
ICCSA
2005
Springer
16 years 13 days ago
Quasi-interpolants Based Multilevel B-Spline Surface Reconstruction from Scattered Data
Abstract. This paper presents a new fast and local method of 3D surface reconstruction for scattered data. The algorithm makes use of quasiinterpolants to compute the control point...
Byung-Gook Lee, Joon-Jae Lee, Ki-Ryoung Kwon
ITS
2004
Springer
124views Multimedia» more  ITS 2004»
16 years 9 days ago
A Multi-dimensional Taxonomy for Automating Hinting
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...
Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek