1932 search results - page 249 / 387 » A Functional Quantum Programming Language |
113
Voted
EACL
2006
ACL Anthology
15 years 6 months ago
2006
ACL Anthology
We report work1 in progress on adding affect-detection to an existing program for virtual dramatic improvisation, monitored by a human director. To partially automate the director...
158
click to vote
CACM
1999
15 years 4 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
152
Voted
ENTCS
2008
15 years 4 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
161
click to vote
JMLR
2008
15 years 4 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
128
click to vote
CASSIS
2004
Springer
15 years 10 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...