9485 search results - page 186 / 1897 » Research on Brain-Like Computer |
134
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...
135
click to vote
SWAP
2008
15 years 5 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
112
click to vote
AAAI
1998
15 years 5 months ago
1998
In [4], Freuderdefines several types of interchangeability to capture the equivalenceamongthe valuesof a variable in a discrete constraint satisfaction problem(CSP), and provides ...
130
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
140
click to vote
IIE
2008
15 years 4 months ago
2008
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...