2747 search results - page 99 / 550 » Non-oblivious Strategy Improvement |
144
click to vote
APLAS
2006
ACM
16 years 9 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
177
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
Recognition of unconstrained handwritten text is still a challenge. In this paper we consider a new problem, which is the recognition of notes written on a whiteboard. Our recogni...
190
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
We have developed a new tool for virtual database screening. This tool, referred to as the Generic Evolutionary Method for molecular DOCKing (GEMDOCK), combines an evolutionary app...
149
click to vote
DSD
2003
IEEE
15 years 11 months ago
2003
IEEE
Cache design for high performance computing requires the realization of two seemingly disjoint goals of higher hit ratios at reduced access times. Recent research advocates the us...
162
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In DSP processors, minimizing the amount of address calculations is critical for reducing code size and improving performance since studies of programs have shown that in...