2605 search results - page 195 / 521 » The many levels of CSCL |
181
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
164
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Finite difference methods continue to provide an important and parallelisable approach to many numerical simulations problems. Iterative multigrid and multilevel algorithms can co...
164
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
At the heart of many recent lattice-based cryptographic schemes is a polynomial-time algorithm that, given a `high-quality' basis, generates a lattice point according to a Ga...
155
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Contact processes describe the transmission of distinct properties of nodes via the links of a network. They provide a simple framework for many phenomena, such as epidemic spreadi...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...