2766 search results - page 202 / 554 » Hybridizing a Logical Framework |
118
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Wireless sensor applications (WSNs) are often required to simultaneously satisfy conflicting operational objectives (e.g., latency and power consumption). Based on an observation...
134
click to vote
PPSN
1994
Springer
15 years 8 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
135
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
Horizontally Partitioned Caches (HPCs) are a promising architectural feature to reduce the energy consumption of the memory subsystem. However, the energy reduction obtained using...
133
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
127
Voted
WILF
2007
Springer
15 years 10 months ago
2007
Springer
In the last years haplotype reconstruction and haplotype blocks discovery, i.e., the estimation of patterns of linkage disequilibrium (LD) in the haplotypes, riveted the attention ...