151 search results - page 17 / 31 » A computational framework for institutional agency |
STOC
2007
ACM
14 years 8 months ago
2007
ACM
We introduce a new, generic framework for private data analysis. The goal of private data analysis is to release aggregate information about a data set while protecting the privac...
CCGRID
2008
IEEE
14 years 2 months ago
2008
IEEE
The CancerGrid consortium is developing openstandards cancer informatics to address the challenges posed by modern cancer clinical trials. This paper presents the service-oriented...
DALT
2003
Springer
14 years 26 days ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
MLDM
2001
Springer
14 years 2 days ago
2001
Springer
0 Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications R. Schmidt and R. Gierl University of Rostock, Germany 9.00-9.30 Local Learnin...
LICS
1989
IEEE
13 years 11 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...