1397 search results - page 232 / 280 » Dynamic power management using machine learning |
125
Voted
AIL
2006
15 years 3 months ago
2006
We describe research carried out as part of a text summarisation project for the legal domain for which we use a new XML corpus of judgments of the UK House of Lords. These judgmen...
245
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
130
click to vote
ESCIENCE
2005
IEEE
15 years 9 months ago
2005
IEEE
Clusters of workstations are one of the most suitable resources to assist e-scientists in the execution of largescale experiments that demand processing power. The utilization rat...
153
Voted
SIAMCOMP
2002
15 years 3 months ago
2002
abstract Alain Mayer Yoram Ofeky Rafail Ostrovskyz Moti Yungx We investigate the problem of self-stabilizing round-robin token management scheme on an anonymous bidirectional ring...
112
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
Recent developments in computer vision have shown that local features can provide efficient representations suitable for robust object recognition. Support Vector Machines have be...