5639 search results - page 795 / 1128 » Timed Abstract Non-interference |
143
click to vote
LOCA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. People rapidly learn the capabilities of a new location, without observing every service and product. Instead they map a few observations to familiar clusters of capabili...
147
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
156
click to vote
MCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe an ensemble of classifiers based algorithm for incremental learning in nonstationary environments. In this formulation, we assume that the learner is presente...
148
click to vote
MDM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract—In this paper we present MicroPulse, a novel framework for adapting the waking window of a sensing device S based on the data workload incurred by a query Q. Assuming a ...
126
click to vote
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A fully automated method for quantitative analysis of dynamic contrast-enhanced MRI data acquired with low and high field scanners, using spin echo and gradient echo seq...