455 search results - page 46 / 91 » Understanding Counterexamples with explain |
SIGCSE
2008
ACM
14 years 11 months ago
2008
ACM
The underlying processes that enable database query execution are fundamental to understanding database management systems. However, these processes are complex and can be difficu...
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
KI
2010
Springer
14 years 9 months ago
2010
Springer
Most approaches to the visual perception of humans do not include high-level activity recognitition. This paper presents a system that fuses and interprets the outputs of several c...
PPSN
2010
Springer
14 years 9 months ago
2010
Springer
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...
PVLDB
2010
14 years 9 months ago
2010
There are many academic and commercial stream processing engines (SPEs) today, each of them with its own execution semantics. This variation may lead to seemingly inexplicable di�...