Sciweavers

546 search results - page 39 / 110
» Extended Null-Move Reductions
Sort
View
IJCNN
2007
IEEE
15 years 4 months ago
Computational Templates, Neural Network Dynamics, and Symbolic Logic
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
Otto Lappi
QEST
2007
IEEE
15 years 4 months ago
Probabilistic Model-Checking Support for FMEA
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
Lars Grunske, Robert Colvin, Kirsten Winter
ASAP
2006
IEEE
147views Hardware» more  ASAP 2006»
15 years 3 months ago
The Molen FemtoJava Engine
This paper presents the Molen FemtoJava engine that is extended with concepts taken from the Molen polymorphic processor. This allows for the existing FemtoJava to be augmented wi...
Júlio C. B. de Mattos, Stephan Wong, Luigi ...
CRV
2005
IEEE
132views Robotics» more  CRV 2005»
15 years 3 months ago
Face Recognition with Weighted Locally Linear Embedding
We present an approach to recognizing faces with varying appearances which also considers the relative probability of occurrence for each appearance. We propose and demonstrate ex...
Nathan Mekuz, Christian Bauckhage, John K. Tsotsos
ISVLSI
2005
IEEE
157views VLSI» more  ISVLSI 2005»
15 years 3 months ago
Configurable Multiprocessors for High-Performance MPEG-4 Video Coding
We investigate the performance improvement of a multithreaded MPEG-4 video encoder executing on a configurable, extensible, SoC multiprocessor. Architecture-level results indicate...
Vassilios A. Chouliaras, Tom R. Jacobs, Ashwin K. ...