5639 search results - page 604 / 1128 » Timed Abstract Non-interference |
163
click to vote
BILDMED
2006
15 years 8 months ago
2006
Abstract. Magnetic Resonance Spectroscopic Imaging (MRSI) measures relative concentrations of metabolites in vivo and can thus be used for the diagnosis of certain tumors. We intro...
178
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
158
click to vote
CRIWG
2004
15 years 8 months ago
2004
Abstract. Change awareness is the ability of individuals to track the asynchronous changes made to a collaborative document or surface by other participants over time. We develop a...
185
click to vote
COMMA
2006
15 years 8 months ago
2006
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...
187
click to vote
DELOS
2004
15 years 8 months ago
2004
Abstract. The transition from traditional paper libraries to digital libraries enables new strategies for the use and maintenance of artifact collections. Distributed software deve...