Sciweavers

3250 search results - page 155 / 650
» Parameterized Learning Complexity
Sort
View
FMSD
2002
107views more  FMSD 2002»
15 years 6 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
TOG
2012
215views Communications» more  TOG 2012»
13 years 8 months ago
Dual loops meshing: quality quad layouts on manifolds
We present a theoretical framework and practical method for the automatic construction of simple, all-quadrilateral patch layouts on manifold surfaces. The resulting layouts are c...
Marcel Campen, David Bommes, Leif Kobbelt
KES
2007
Springer
16 years 17 days ago
A Hybrid Symbolic-Statistical Approach to Modeling Metabolic Networks
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
Marenglen Biba, Stefano Ferilli, Nicola Di Mauro, ...
IJNCR
2010
59views more  IJNCR 2010»
15 years 3 months ago
Cognitively Inspired Neural Network for Recognition of Situations
we present a cognitively inspired mathematical learning framework called Neural Modeling Fields (NMF). We apply it to learning and recognition of situations composed of objects. NM...
Roman Ilin, Leonid I. Perlovsky
ECAI
2006
Springer
15 years 10 months ago
Learning Behaviors Models for Robot Execution Control
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
Guillaume Infantes, Félix Ingrand, Malik Gh...