5863 search results - page 1075 / 1173 » On Model-Checking of P Systems |
130
click to vote
FLAIRS
2009
15 years 1 months ago
2009
In our experiments with four well-known systems for solving partially observable planning problems (Contingent-FF, MBP, PKS, and POND), we were greatly surprised to find that they...
123
click to vote
GD
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The study of (minimally) rigid graphs is motivated by numerous applications, mostly in robotics and bioinformatics. A major open problem concerns the number of embeddings...
113
click to vote
HCI
2009
15 years 1 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...
159
Voted
ICMLA
2009
15 years 1 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...
142
click to vote
IJHPCA
2010
15 years 1 months ago
2010
Emergence of new parallel architectures presents new challenges for application developers. Supercomputers vary in processor speed, network topology, interconnect communication ch...