1662 search results - page 30 / 333 » Privately Finding Specifications |
ARC
2010
Springer
13 years 10 months ago
2010
Springer
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
MLMTA
2007
13 years 8 months ago
2007
- While grammar inference (or grammar induction) has found extensive application in the areas of robotics, computational biology, speech and pattern recognition, its application to...
SDM
2004
SIAM
13 years 8 months ago
2004
SIAM
In many real-world tasks of image classification, limited amounts of labeled data are available to train automatic classifiers. Consequently, extensive human expert involvement is...
BMCBI
2010
13 years 7 months ago
2010
Background: Next-generation sequencing technologies allow researchers to obtain millions of sequence reads in a single experiment. One important use of the technology is the seque...