6274 search results - page 666 / 1255 » Proofs, Programs, Processes |
156
click to vote
AIPS
2006
15 years 8 months ago
2006
This paper presents an adaptation of the standard quantum search technique to enable application within Dynamic Programming, in order to optimise a Markov Decision Process. This i...
191
click to vote
CASCON
2006
15 years 8 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
164
click to vote
EACL
2006
ACL Anthology
15 years 8 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...
150
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
This work demonstrates that high-end classical programmable digital signal processors (DSPs) can implement fuzzy systems for real-time communication processing. A systematic proce...
200
click to vote
AAAI
1997
15 years 8 months ago
1997
The thinking process for playing chess by computer is significantly different from that used by humans. Although computer hardware and software have evolved considerably, computer...