Sciweavers

3812 search results - page 188 / 763
» Combinations of TRAP Based Systems
Sort
View
SBACPAD
2004
IEEE
86views Hardware» more  SBACPAD 2004»
15 years 7 months ago
Multi-Profile Instruction Based Compression
Code compression has been used to minimize the memory area requirement of embedded systems. Recently, performance improvement and energy consumption reductionare observed as a by-...
Eduardo Wanderley Netto, Rodolfo Azevedo, Paulo Ce...
CADE
2010
Springer
15 years 7 months ago
iProver-Eq: An Instantiation-Based Theorem Prover with Equality
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
Konstantin Korovin, Christoph Sticksel
GRC
2008
IEEE
15 years 7 months ago
Fuzzy Entropy based Max-Relevancy and Min-Redundancy Feature Selection
Feature selection is an important problem for pattern classification systems. Mutual information is a good indicator of relevance between variables, and has been used as a measure...
Shuang An, Qinghua Hu, Daren Yu
IJHPCA
2008
88views more  IJHPCA 2008»
15 years 6 months ago
Extending Grid-Based Workflow Tools With Patterns/Operators
Many Grid applications involve combining computational and data access components into complex workflows. A distinction is generally made between mechanisms to compose components ...
Maria Cecilia Gomes, Omer F. Rana, José C. ...
KI
2008
Springer
15 years 6 months ago
Visual-Based Emotion Detection for Natural Man-Machine Interaction
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...
Samuel Strupp, Norbert Schmitz, Karsten Berns