7109 search results - page 1296 / 1422 » Process Algebra with Combinators |
170
click to vote
JKM
2010
15 years 3 months ago
2010
Purpose – Looking at the practical experience of organizations pursuing knowledge management, it is found that their efforts are primarily focused on creating the conditions and...
103
click to vote
JOCN
2010
15 years 3 months ago
2010
■ This investigation combined behavioral and functional neuroimaging measures to explore whether perception of pain is modulated by the targetʼs stigmatized status and whether ...
145
click to vote
MICS
2010
15 years 3 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
162
Voted
SAB
2010
Springer
15 years 3 months ago
2010
Springer
We study self-organized cooperation in a heterogeneous robotic swarm consisting of two sub-swarms. The robots of each sub-swarm play distinct roles based on their different charac...
124
click to vote
SIAMSC
2010
15 years 3 months ago
2010
In numerous applications of image processing, e.g. astronomical and medical imaging, data-noise is well-modeled by a Poisson distribution. This motivates the use of the negative-lo...