6248 search results - page 874 / 1250 » Programming in a data factory |
157
click to vote
FORMATS
2007
Springer
16 years 27 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
210
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
176
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a novel approach to clustering using an accuracy-based Learning Classifier System. Our approach achieves this by exploiting the generalization mechanisms inher...
137
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
152
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...