12981 search results - page 2431 / 2597 » Model Checking (Abstract) |
135
Voted
DSL
2009
15 years 1 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
137
Voted
EUSFLAT
2009
15 years 1 months ago
2009
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...
132
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
124
click to vote
EVOW
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In this paper we propose a new benchmark problem for dynamic combinatorial optimisation. Unlike most previous benchmarks, we focus primarily on the underlying dynamics of...
110
Voted
GIL
2009
15 years 1 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...