6978 search results - page 1300 / 1396 » On Proofs in System P |
HCI
2009
13 years 6 months ago
2009
A brain-computer interface is a device that uses signals recorded from the brain to directly control a computer. In the last few years, P300-based braincomputer interfaces (BCIs) h...
ICMLA
2009
13 years 6 months ago
2009
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
IJHPCA
2010
13 years 6 months ago
2010
Emergence of new parallel architectures presents new challenges for application developers. Supercomputers vary in processor speed, network topology, interconnect communication ch...
JAIR
2011
13 years 4 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
SIGMETRICS
2011
ACM
13 years 4 months ago
2011
ACM
We present a performance analysis and benchmarking study P2 “active” library, which provides an abstraction framework for the solution of parallel unstructured mesh applicatio...