1729 search results - page 154 / 346 » Generic Haskell: Applications |
205
Voted
IFIP3
1998
15 years 7 months ago
1998
Innovative teaching methods such as collaborative learning, teamwork and mind maps were introduced to a Statistics course at tertiary level and compared to traditional teaching me...
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
160
click to vote
MP
2008
15 years 6 months ago
2008
Robust Optimization is a rapidly developing methodology for handling optimization problems affected by non-stochastic "uncertain-butbounded" data perturbations. In this p...
142
Voted
IJISTA
2007
15 years 6 months ago
2007
: A system architecture is proposed for integrating sensors, controllers, actuators and instrumentation within a common framework. The goal is to provide a flexible and scalable sy...
151
Voted
PVLDB
2010
15 years 4 months ago
2010
This demonstration presents Cloudy, a modular cloud storage system. Cloudy provides a highly flexible architecture for distributed data storage and is designed to operate with mu...