161 search results - page 19 / 33 » A system for processing handwritten bank checks automaticall... |
132
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Viruses of the Bunyaviridae have segmented negative-stranded RNA genomes and several of them cause significant disease. Many partial sequences have been obtained from ...
149
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
141
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
171
click to vote
ICS
2007
Tsinghua U.
16 years 6 days ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
152
click to vote
WSC
1998
15 years 7 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...