Sciweavers

1187 search results - page 188 / 238
» Graph-Based Procedural Abstraction
Sort
View
CP
2000
Springer
15 years 10 months ago
Boosting Search with Variable Elimination
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
Javier Larrosa
DATE
2010
IEEE
145views Hardware» more  DATE 2010»
15 years 10 months ago
Energy-efficient real-time task scheduling with temperature-dependent leakage
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...
Chuan-Yue Yang, Jian-Jia Chen, Lothar Thiele, Tei-...
HAPTICS
2010
IEEE
15 years 10 months ago
The Core Skills Trainer: A Set of Haptic Games for Practicing Key Clinical Skills
Abstract. A new approach to teaching the skills used by health professionals during hands-on (palpation-based) examinations and procedures is reported, where students practice indi...
Sarah Baillie, Neil Forrest, Tierney Kinnison
ICLP
1999
Springer
15 years 10 months ago
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
Yves Caseau, François-Xavier Josset, Fran&c...
IWANN
1999
Springer
15 years 10 months ago
Support Vector Machines for Multi-class Classification
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
Eddy Mayoraz, Ethem Alpaydin