Sciweavers

19936 search results - page 3635 / 3988
» Inductive process modeling
Sort
View
143
Voted
FMICS
2010
Springer
15 years 5 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
DRR
2008
15 years 5 months ago
Interactive degraded document enhancement and ground truth generation
Degraded documents are frequently obtained in various situations. Examples of degraded document collections include historical document depositories, document obtained in legal an...
G. Bal, Gady Agam, Ophir Frieder, Gideon Frieder
HPDC
2010
IEEE
15 years 5 months ago
Towards long term data quality in a large scale biometrics experiment
Quality of data plays a very important role in any scientific research. In this paper we present some of the challenges that we face in managing and maintaining data quality for a...
Hoang Bui, Diane Wright, Clarence Helm, Rachel Wit...
134
Voted
GECCO
2008
Springer
145views Optimization» more  GECCO 2008»
15 years 5 months ago
An evolutionary approach for competency-based curriculum sequencing
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually per...
Luis de Marcos, José-Javier Martínez...
ICMCS
2010
IEEE
210views Multimedia» more  ICMCS 2010»
15 years 5 months ago
Confidence evaluation for robust, fast-converging disparity map refinement
To improve upon the initial disparity estimates stemming from a local correspondence method, a subsequent refinement step is commonly employed. The performance of the stereo match...
Jorn Jachalsky, Markus Schlosser, Dirk Gandolph
« Prev « First page 3635 / 3988 Last » Next »