Sciweavers

669 search results - page 13 / 134
» Active learning for directed exploration of complex systems
Sort
View
141
Voted
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
14 years 10 months ago
Synchronized Generation of Directed Tests Using Satisfiability Solving
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Xiaoke Qin, Mingsong Chen, Prabhat Mishra
TEI
2010
ACM
197views Hardware» more  TEI 2010»
15 years 7 months ago
Constructing with movement: kinematics
This paper describes Kinematics: a novel construction toy for children consisting of both active (shape-changing or rotating) and passive building blocks. In comparison to similar...
Leonhard Oschuetz, Daniel Wessolek, Wolfgang Sattl...
138
Voted
ICIP
2009
IEEE
14 years 10 months ago
Optimization on active learning strategy for object category retrieval
Active learning is a framework that has attracted a lot of research interest in the content-based image retrieval (CBIR) in recent years. To be effective, an active learning syste...
David Gorisse, Matthieu Cord, Frédér...
100
Voted
JCNS
2010
126views more  JCNS 2010»
14 years 11 months ago
Calibration of the head direction network: a role for symmetric angular head velocity cells
Abstract Continuous attractor networks require calibration. Computational models of the head direction (HD) system of the rat usually assume that the connections that maintain HD n...
Peter Stratton, Gordon Wyeth, Janet Wiles
97
Voted
CANDC
2009
ACM
15 years 7 months ago
Exploring illuminative systems in informal networks of adults
Whenever we feel those ‘higher’ and hard to define sensations like synchronicity, love, wholeness, and appreciation is this a pattern or illuminative system that is part of a ...
Amy K. Scatliff