Sciweavers

8056 search results - page 407 / 1612
» Object Behavior Analysis
Sort
View
FLAIRS
2006
15 years 8 months ago
Introspective Subgroup Analysis for Interactive Knowledge Refinement
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...
Martin Atzmüller, Joachim Baumeister, Frank P...
MASCOTS
1998
15 years 8 months ago
Caches as Filters: A New Approach to Cache Analysis
As the processor-memory performance gap continues to grow, so does the need for effective tools and metrics to guide the design of efficient memory hierarchies to bridge that gap....
Dee A. B. Weikle, Sally A. McKee, William A. Wulf
ECAI
2010
Springer
15 years 8 months ago
Kernel Methods for Revealed Preference Analysis
In classical revealed preference analysis we are given a sequence of linear prices (i.e., additive over goods) and an agent's demand at each of the prices. The problem is to d...
Sébastien Lahaie
ICASSP
2010
IEEE
15 years 7 months ago
A general formalism for the analysis of distributed algorithms
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
Ondrej Sluciak, Thibault Hilaire, Markus Rupp
198
Voted
AI
2008
Springer
15 years 7 months ago
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
Di Wu, Xenofon D. Koutsoukos