Sciweavers

1546 search results - page 174 / 310
» Context-Aware Computing with Sound
Sort
View
IJCAI
1989
15 years 7 months ago
Using and Refining Simplifications: Explanation-Based Learning of Plans in Intractable Domains
This paper describes an explanation-based approach lo learning plans despite a computationally intractable domain theory. In this approach, the system learns an initial plan using...
Steve A. Chien
EUROPAR
2010
Springer
15 years 7 months ago
Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications
The bag-of-tasks application model, albeit simple, arises in many application domains and has received a lot of attention in the scheduling literature. Previous works propose eithe...
Henri Casanova, Matthieu Gallet, Fréd&eacut...
CG
1999
Springer
15 years 6 months ago
Iamascope: a graphical musical instrument
The Iamascope is an interactive, electronic kaleidoscope. The Iamascope combines computer video, graphics, vision, and audio technology for performers to create striking imagery a...
Sidney Fels, Kenji Mase
TGC
2010
Springer
15 years 4 months ago
Certified Result Checking for Polyhedral Analysis of Bytecode Programs
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
Frédéric Besson, Thomas P. Jensen, D...
CVPR
2008
IEEE
16 years 8 months ago
Cost-sensitive face recognition
Traditional face recognition systems attempt to achieve a high recognition accuracy, which implicitly assumes that the losses of all misclassifications are the same. However, in m...
Yin Zhang, Zhi-Hua Zhou