317 search results - page 35 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
112
Voted
EUROCAST
2005
Springer
15 years 8 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
77
Voted
IJCNN
2000
IEEE
15 years 7 months ago
2000
IEEE
KBCC is an extension of the cascade-correlation algorithm that treats functions encapsulating prior knowledge as black-boxes which, like simple sigmoidal neurons, can be recruited...
108
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. In data analysis new forms of complex data have to be considered like for example (symbolic data, functional data, web data, trees, SQL query and multimedia data,. . . )....
105
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
116
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...