11168 search results - page 148 / 2234 » Abstract State Processes |
226
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
125
Voted
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
145
Voted
PKDD
2001
Springer
15 years 9 months ago
2001
Springer
We present a method for distinguishing two subtly different mental states, on the basis of the underlying brain activation measured with fMRI. The method uses a classifier to lea...
109
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
ion-based Requirements Management Anthony Finkelstein, University College London Leah Goldin, Afeka-Tel Aviv College of Engineering ROA workshop - ICSE 2006 of Abstraction in Softw...
150
click to vote
NIPS
2003
15 years 6 months ago
2003
We exploit some useful properties of Gaussian process (GP) regression models for reinforcement learning in continuous state spaces and discrete time. We demonstrate how the GP mod...