Sciweavers

2989 search results - page 187 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
CEC
2010
IEEE
14 years 11 months ago
Automatic construction of image transformation algorithms using feature based genetic image network
Image processing and recognition technologies are becoming increasingly important. Automatic construction methods for image transformation algorithms proposed to date approximate a...
Yuta Nakano, Shinichi Shirakawa, Noriko Yata, Tomo...
102
Voted
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
15 years 4 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
82
Voted
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
15 years 3 months ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
91
Voted
IFL
2003
Springer
15 years 3 months ago
Dynamic Chunking in Eden
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
Jost Berthold
113
Voted
ICML
2010
IEEE
14 years 8 months ago
Bayes Optimal Multilabel Classification via Probabilistic Classifier Chains
In the realm of multilabel classification (MLC), it has become an opinio communis that optimal predictive performance can only be achieved by learners that explicitly take label d...
Krzysztof Dembczynski, Weiwei Cheng, Eyke Hül...