Sciweavers

669 search results - page 13 / 134
» Active learning for directed exploration of complex systems
Sort
View
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
15 years 1 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
152
Voted
TEI
2010
ACM
197views Hardware» more  TEI 2010»
15 years 10 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...
ICIP
2009
IEEE
15 years 1 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...
JCNS
2010
126views more  JCNS 2010»
15 years 2 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
128
Voted
CANDC
2009
ACM
15 years 10 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