985 search results - page 98 / 197 » Abstract Interactions and Interaction Refinement in Model-Dr... |
127
Voted
AI
2005
Springer
15 years 3 months ago
2005
Springer
In designing a Bayesian network for an actual problem, developers need to bridge the gap between ematical abstractions offered by the Bayesian-network formalism and the features o...
178
Voted
ERCIMDL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Today, digital libraries more and more have to rely on semantic techniques during the workflows of metadata generation, search and navigational access. But, due to the st...
111
Voted
LOPSTR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
110
Voted
SSS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper analyses the robustness of self-organizing (engineered) systems to perturbations (faults or environmental changes). It considers that a self-organizing system ...
120
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
We present a methodology that brings simplicity to large and comt labs by using abstraction. The networking community has appreciated the value of large scale test labs to explore...