Sciweavers

3244 search results - page 337 / 649
» On convex complexity measures
Sort
View
FLAIRS
2008
15 years 9 months ago
Using Genetic Programming to Increase Rule Quality
Rule extraction is a technique aimed at transforming highly accurate opaque models like neural networks into comprehensible models without losing accuracy. G-REX is a rule extract...
Rikard König, Ulf Johansson, Lars Niklasson
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 8 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
HAPTICS
2010
IEEE
15 years 8 months ago
A Multi-functional Rehabilitation Device to Assist Forearm/Wrist and Grasp Therapies
—We present a novel physical rehabilitation device for forearm/wrist and grasp therapy of a neurologically injured human arm and hand. Emphasizing the importance of coordinated m...
Ismail Hakan Ertas, Volkan Patoglu
ICALP
2010
Springer
15 years 8 months ago
Parameterized Modal Satisfiability
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
Antonis Achilleos, Michael Lampis, Valia Mitsou
CONEXT
2005
ACM
15 years 8 months ago
Optimal positioning of active and passive monitoring devices
Network measurement is essential for assessing performance issues, identifying and locating problems. Two common strategies are the passive approach that attaches specific device...
Claude Chaudet, Eric Fleury, Isabelle Guéri...