447 search results - page 4 / 90 » Towards Computability of Higher Type Continuous Data |
NCA
2006
IEEE
14 years 18 days 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...
POPL
2012
ACM
12 years 2 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...
EL
2011
12 years 6 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...
EUROGRAPHICS
2010
Eurographics
14 years 1 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 ...
SIGCSE
1994
ACM
13 years 10 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...