2956 search results - page 148 / 592 » Databases and Higher Types |
JCHE
2007
15 years 3 months ago
2007
I N THIS PAPER, we suggest that self-organized learning can be supported through emergent and informal Web technologies and propose that these technologies can be used to encourag...
106
Voted
COMPUTING
2002
15 years 2 months ago
2002
We consider a general framework for analysing the convergence of multi-grid solvers applied to finite element discretisations of mixed problems, both of conforming and nonconformi...
171
click to vote
ENTCS
2002
15 years 2 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
128
click to vote
JSCIC
2010
14 years 10 months ago
2010
While second order methods for computational simulations of fluid flow provide the basis of widely used commercial software, there is a need for higher order methods for more accur...
116
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
A biometric template protection system for dynamic signature veri cation is presented. The approach uses auxiliary (helper) data that allows the matching with secure templates but...