203 search results - page 36 / 41 » Some thoughts on hypercomputation |
LICS
2002
IEEE
14 years 16 days ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
ECAL
1999
Springer
13 years 12 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
PG
1997
IEEE
13 years 11 months ago
1997
IEEE
A plenoptic function is a parameterized function describing the flow of light in space, and has served as a key idea in building some of the recent image-based rendering systems....
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
The growing stream of content placed on the Web provides a huge collection of textual resources. People share their experiences on-line, ventilate their opinions (and frustrations...
CEC
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract- Complex systems techniques provide a powerful tool to study the emergent properties of networks of interacting genes. In this study we extract models of genetic regulator...