18306 search results - page 3214 / 3662 » Algorithmics in Exponential Time |
144
Voted
APN
2006
Springer
15 years 6 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
140
Voted
AUSAI
2006
Springer
15 years 6 months ago
2006
Springer
The SVM based Recursive Feature Elimination (RFE-SVM) algorithm is a popular technique for feature selection, used in natural language processing and bioinformatics. Recently it wa...
248
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Multiple surface searching with only image intensity information is a difficult job in the presence of high noise and weak edges. We present in this paper a novel method for global...
132
click to vote
CEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract- Significant operational cost and energy savings can be achieved by optimising the schedules of pumps, which pump water from source reservoirs to storage tanks, in Water ...
157
click to vote
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
Caches may consume half of a microprocessor’s total power and cache misses incur accessing off-chip memory, which is both time consuming and energy costly. Therefore, minimizing...