2191 search results - page 160 / 439 » Improving the Efficiency of Non-Deterministic Computations |
204
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
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 ...
144
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We present an efficient, fully automated algorithm to assemble ESTs into full-length cDNA sequences that represent the complete coding regions of a gene. Our EST clustering algori...
151
click to vote
MMSP
2008
IEEE
16 years 16 days ago
2008
IEEE
—In order to compensate for the temporally changing effect of aliasing and improve the coding efficiency of video coders, adaptive interpolation filtering schemes have been recen...
134
click to vote
TITS
2008
2008
Fuzzy Control Model Optimization for Behavior-Consistent Traffic Routing Under Information Provision
15 years 6 months ago
This paper presents an H-infinity filtering approach to optimize a fuzzy control model used to determine behaviorconsistent (BC) information-based control strategies to improve the...
203
click to vote
PC
2000
15 years 6 months ago
2000
Dynamic Load Balancing is an important system function destined to distribute workload among available processors to improve throughput and/or execution times of parallel computer...