1509 search results - page 118 / 302 » Processing with cell assemblies |
CONCUR
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
ISMB
1996
13 years 10 months ago
1996
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
CGF
2008
13 years 9 months ago
2008
The signed distance field for a polygonal model is a useful representation that facilitates efficient computation in many visualization and geometric processing tasks. Often it is...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
IAT
2009
IEEE
14 years 3 months ago
2009
IEEE
—We describe the design of an autonomous agent that can teach itself how to translate from a foreign language, by first assembling its own training set, then using it to improve...