1458 search results - page 162 / 292 » Monads for incremental computing |
101
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
133
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In general frequent itemsets are generated from large data sets by applying association rule mining algorithms like Apriori, Partition, Pincer-Search, Incremental, Border algorithm...
122
Voted
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are ...
118
Voted
MCS
2007
Springer
15 years 3 months ago
2007
Springer
The paper deals with a structural optimization of composite materials with periodic microstructures invoking an elasto-plasticity model with the von Mises yield criterion. Closest...
103
Voted
ACL
2010
15 years 1 months ago
2010
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...