Sciweavers

1040 search results - page 87 / 208
» A New Periodicity Lemma
Sort
View
KES
2005
Springer
15 years 3 months ago
Measurement of Human Concentration with Multiple Cameras
Abstract. We propose a new method to estimate human change of concentration from multiple camera views of the human. In our method, human state of concentration is observed as self...
Kazuhiko Sumi, Koichi Tanaka, Takashi Matsuyama
SAT
2005
Springer
95views Hardware» more  SAT 2005»
15 years 3 months ago
Random Walk with Continuously Smoothed Variable Weights
Many current local search algorithms for SAT fall into one of two classes. Random walk algorithms such as Walksat/SKC, Novelty+ and HWSAT are very successful but can be trapped for...
Steven David Prestwich
SGAI
2005
Springer
15 years 3 months ago
Experience with Ripple-Down Rules
Ripple-Down Rules (RDR) is an approach to building knowledgebased systems (KBS) incrementally, while the KBS is in routine use. Domain experts build rules as a minor extension to ...
Paul Compton, Lindsay Peters, Glenn Edwards, Tim G...
ADC
2004
Springer
113views Database» more  ADC 2004»
15 years 3 months ago
Web Service Composition Transaction Management
The development of new web services by composition of existing services is becoming an extensive approach. This has resulted in transactions that span in multiple web services. Th...
Benchaphon Limthanmaphon, Yanchun Zhang
EUC
2004
Springer
15 years 3 months ago
Power-Aware Scheduling of Mixed Task Sets in Priority-Driven Systems
We propose power-aware on-line task scheduling algorithms for mixed task sets which consist of both periodic and aperiodic tasks. The proposed algorithms utilize the execution beha...
Dongkun Shin, Jihong Kim