Sciweavers

98 search results - page 7 / 20
» NEXI, Now and Next
Sort
View
JAPLL
2007
104views more  JAPLL 2007»
13 years 7 months ago
An axiomatization of family resemblance
We invoke concepts from the theory of hypergraphs to give a measure of the closeness of family resemblance, and to make precise the idea of a composite likeness. It is shown that f...
Ray E. Jennings, Dorian X. Nicholson
NN
2007
Springer
162views Neural Networks» more  NN 2007»
13 years 7 months ago
Learning grammatical structure with Echo State Networks
Echo State Networks (ESNs) have been shown to be effective for a number of tasks, including motor control, dynamic time series prediction, and memorizing musical sequences. Howeve...
Matthew H. Tong, Adam D. Bickett, Eric M. Christia...
ISCA
2011
IEEE
486views Hardware» more  ISCA 2011»
12 years 11 months ago
Dark silicon and the end of multicore scaling
Since 2005, processor designers have increased core counts to exploit Moore’s Law scaling, rather than focusing on single-core performance. The failure of Dennard scaling, to wh...
Hadi Esmaeilzadeh, Emily R. Blem, Renée St....
CADE
2007
Springer
14 years 7 months ago
MaLARea: a Metasystem for Automated Reasoning in Large Theories
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
Josef Urban
CVPR
2004
IEEE
14 years 9 months ago
Dynamic Geodesic Snakes for Visual Tracking
Visual tracking using active contours is usually accomplished in a static framework. The active contour tracks the object of interest in a given frame of an image sequence, and th...
Marc Niethammer, Allen Tannenbaum