16430 search results - page 830 / 3286 » On Computable Tree Functions |
189
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Biogas plants are reliable sources of energy based on renewable materials including organic waste. There is a high demand from industry to run these plants efficiently, which lead...
163
click to vote
CIIA
2009
15 years 8 months ago
2009
The project aimed at developing a software audiometer for hearing loss screening. The proposed software is definitely based on the internal peripherals of the computer without any ...
168
click to vote
ALIFE
2010
15 years 7 months ago
2010
Edgar Codd's 1968 design for a self-replicating cellular automata machine has never been implemented. Partly this is due to its enormous size but we have also identified four...
180
click to vote
CACM
2010
15 years 7 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
184
click to vote
CORR
2006
Springer
15 years 7 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...