Sciweavers

1779 search results - page 310 / 356
» A Formal Model of Data Privacy
Sort
View
ECAI
1998
Springer
15 years 8 months ago
Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis
An experiment was conducted in order to evaluate what normative framework is pertinent for dealing with confidence judgements in human experts. 24 films were shown to 4 experimente...
Eric Raufaste, Rui Da Silva Neves
HLPPP
1991
15 years 7 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham
134
Voted
ASM
2008
ASM
15 years 5 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
BIRTHDAY
2008
Springer
15 years 5 months ago
The Church-Turing Thesis over Arbitrary Domains
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural ...
Udi Boker, Nachum Dershowitz
BDA
2004
15 years 5 months ago
A new way of optimizing OLAP queries
For around 10 years, the academic research in database has attempted to define a commonly agreed logical modeling for the multidimensional and hierarchical nature of data manipulat...
Arnaud Giacometti, Dominique Laurent, Patrick Marc...