3001 search results - page 291 / 601 » Recursive type generativity |
197
click to vote
ADS
2004
Springer
15 years 12 months ago
2004
Springer
Laughter is a powerful means of emotion expression which has not yet been used in speech synthesis. The current paper reports on a pilot study in which differently created types of...
157
click to vote
CASSIS
2004
Springer
15 years 12 months ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
187
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
167
click to vote
TAP
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
166
click to vote
ICANN
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a simple asset pricing model with two types of adaptively learning traders, fundamentalists and technical traders. Traders update their beliefs according to past perfo...