6978 search results - page 1389 / 1396 » On Proofs in System P |
ISI
2008
Springer
13 years 6 months ago
2008
Springer
This talk deals with advanced concepts of Artificial Intelligence (AI) and Pattern Recognition (PR), and their applications to solving real life problems including biometrics appl...
IJHPCA
2010
13 years 6 months ago
2010
We describe and evaluate a new, pipelined algorithm for large, irregular all-gather problems. In the irregular all-gather problem each process in a set of processes contributes in...
JOCN
2010
13 years 6 months ago
2010
■ The ability to stop ongoing motor responses in a splitsecond is a vital element of human cognitive control and flexibility that relies in large part on prefrontal cortex. We u...
JOCN
2010
13 years 6 months ago
2010
■ Distraction and reappraisal are two commonly used forms of cognitive emotion regulation. Functional neuroimaging studies have shown that each one depends upon interactions bet...
PKDD
2010
Springer
13 years 6 months ago
2010
Springer
ervised Abstraction-Augmented String Kernel for Multi-Level Bio-Relation Extraction Pavel Kuksa1 , Yanjun Qi2 , Bing Bai2 , Ronan Collobert2 , Jason Weston3 , Vladimir Pavlovic1 , ...