1509 search results - page 118 / 302 » Processing with cell assemblies |
113
Voted
CONCUR
2006
Springer
15 years 6 months 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...
108
Voted
ISMB
1996
15 years 3 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...
116
Voted
CGF
2008
15 years 2 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...
130
click to vote
ICFP
2003
ACM
16 years 2 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...
133
Voted
IAT
2009
IEEE
15 years 9 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...