1828 search results - page 93 / 366 » From Features to Semantics: Some Preliminary Results |
115
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
112
click to vote
ISMDA
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Due to the uncertain nature of many of the factors that influence on the performance of an emergency medical service, we propose using Bayesian networks to model this ki...
105
click to vote
APVIS
2001
15 years 2 months ago
2001
An overview of previous approaches to the visualisation of uncertainty is presented making the distinction between verity visualisation, where the uncertainty information is an in...
AMAST
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
119
click to vote
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...