447 search results - page 4 / 90 » Towards Computability of Higher Type Continuous Data |
150
Voted
NCA
2006
IEEE
15 years 9 months ago
2006
IEEE
Modern distributed information systems handle increasingly critical data and computation, but there is no systematic way to assess whether a given part of the system can be entrus...
148
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
92
Voted
EL
2011
14 years 3 months ago
2011
Data loss prevention starts with the creation of a digital object. However, methods to minimize the loss of digital data are often ignored, the use of metadata structures embedded...
148
Voted
EUROGRAPHICS
2010
Eurographics
15 years 10 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
157
Voted
SIGCSE
1994
ACM
15 years 7 months ago
1994
ACM
An experiment in collaborative learning was conducted in two introductory programming courses at Loyola College in Maryland. Data collected included background information on stud...