11213 search results - page 286 / 2243 » Low-contention data structures |
172
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
138
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Proposing a treatment to patients is one of the physicians’ most common tasks. There are different elements that influence the decision of a physician to propose an appropriate ...
183
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Information sharing can be effective with structured data. However, there are several challenges for having structured data on the web. Creating structured concept definitions is ...
172
click to vote
CC
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
207
click to vote
ICDT
2011
ACM
14 years 10 months ago
2011
ACM
Provenance in scientific workflows is a double-edged sword. On the one hand, recording information about the module executions used to produce a data item, as well as the parame...