1297 search results - page 184 / 260 » fews 2007 |
ENTCS
2007
14 years 9 months ago
2007
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being esta...
ENTCS
2007
14 years 9 months ago
2007
We present a technique for inducing functional programs from few, well chosen input/output-examples (I/Oexamples). Potential applications for automatic program or algorithm induct...
ENTCS
2007
14 years 9 months ago
2007
Due to increasing demands in processing power on the one hand, but the physical limit on CPU clock speed on the other hand, multi-threaded programming is becoming more important i...
ESWA
2007
14 years 9 months ago
2007
Forecasting airborne pollen concentrations is one of the most studied topics in aerobiology, due to its crucial application to allergology. The most used tools for this problem ar...
FUIN
2007
14 years 9 months ago
2007
Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively few efforts ...