Sciweavers

2128 search results - page 123 / 426
» A general characterization of indulgence
Sort
View
ISLPED
2009
ACM
123views Hardware» more  ISLPED 2009»
15 years 9 months ago
Predict and act: dynamic thermal management for multi-core processors
In this paper, we propose a proactive dynamic thermal management scheme for chip multiprocessors that run multi-threaded workloads. We introduce a new predictor that utilizes the ...
Raid Zuhair Ayoub, Tajana Simunic Rosing
AAAI
2008
15 years 7 months ago
Horn Complements: Towards Horn-to-Horn Belief Revision
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
Marina Langlois, Robert H. Sloan, Balázs Sz...
IJCAI
2003
15 years 6 months ago
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems
The structural rigidity property, a generalization of Laman’s theorem which characterizes rigid bar frameworks in 2D, is generally considered a good approximation of rigidity in...
Christophe Jermann, Bertrand Neveu, Gilles Trombet...
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 4 months ago
Randomness for Free
We consider two-player zero-sum games on graphs. These games can be classified on the basis of the information of the players and on the mode of interaction between them. On the ba...
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert...
BMCBI
2006
128views more  BMCBI 2006»
15 years 4 months ago
New directions in biomedical text annotation: definitions, guidelines and corpus construction
Background: While biomedical text mining is emerging as an important research area, practical results have proven difficult to achieve. We believe that an important first step tow...
W. John Wilbur, Andrey Rzhetsky, Hagit Shatkay