Sciweavers

7715 search results - page 661 / 1543
» Visual Rules Modeling
Sort
View
ISBI
2004
IEEE
16 years 8 months ago
Performance-Based Multi-Classifier Decision Fusion for Atlas-Based Segmentation of Biomedical Images
Combinations of multiple classifiers have been found to be consistently more accurate than a single classifier. The construction of multiple independent classifiers, however, is t...
Torsten Rohlfing, Daniel B. Russakoff, Calvin R. M...
ACAL
2009
Springer
16 years 1 months ago
A Developmental System for Organic Form Synthesis
Modelling the geometry of organic forms using traditional CAD or animation tools is often difficult and tedious. Different models of morphogenesis have been successfully applied t...
Benjamin Porter
KBSE
2007
IEEE
16 years 1 months ago
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P...
CONCUR
2005
Springer
16 years 24 days ago
Selecting Theories and Recursive Protocols
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
Tomasz Truderung
DBPL
2001
Springer
118views Database» more  DBPL 2001»
15 years 11 months ago
On Monotone Data Mining Languages
Abstract. We present a simple Data Mining Logic (DML) that can express common data mining tasks, like “Find Boolean association rules” or “Find inclusion dependencies.” At ...
Toon Calders, Jef Wijsen