Sciweavers

6770 search results - page 277 / 1354
» How GPUs Work
Sort
View
124
Voted
NIPS
2003
15 years 5 months ago
Training a Quantum Neural Network
Most proposals for quantum neural networks have skipped over the problem of how to train the networks. The mechanics of quantum computing are different enough from classical compu...
Bob Ricks, Dan Ventura
SERP
2003
15 years 5 months ago
Formal Validation of HCI User Tasks
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
Yamine Aït Ameur, Mickaël Baron, Patrick...
AIPS
2000
15 years 5 months ago
Using AI Planning Technology for Army Small Unit Operations
In this paper, we outline the requirements of a planning and decision aid to support US Army small unit operations in urban terrain and show how AI planning technologies can be ex...
Austin Tate, John Levine, Peter Jarvis, Jeff Dalto...
156
Voted
COLING
2000
15 years 5 months ago
Automatic Optimization of Dialogue Management
Designing the dialogue strategy of a spoken dialogue system involves many nontrivial choices. This paper presents a reinforcement learning approach for automatically optimizing di...
Diane J. Litman, Michael S. Kearns, Satinder P. Si...
DAGSTUHL
1998
15 years 5 months ago
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
Martin Odersky, Enno Runne, Philip Wadler