1073 search results - page 57 / 215 » Formal Program Development with Approximations |
ENTCS
2006
13 years 8 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
CICLING
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...
ENTCS
2002
13 years 8 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...