8874 search results - page 4 / 1775 » A New Implementation of Automath |
BMCBI
2007
13 years 9 months ago
2007
Background: Hidden Markov Models (HMMs) provide an excellent means for structure identification and feature extraction on stochastic sequential data. An HMM-with-Duration (HMMwD) ...
ARTS
1997
Springer
14 years 2 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
ARITH
2009
IEEE
14 years 1 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
ISQED
2007
IEEE
14 years 4 months ago
2007
IEEE
For emerging deep-subwavelength lithography technologies (90 nm and following) the data volume and the complexity of Optical Proximity Correction (OPC) have increased dramatically...
ICNP
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper introduces concast, a new network service. Concast is the inverse of multicast: multiple sources send messages toward the same destination, which results in a single me...