1746 search results - page 163 / 350 » Residual for Component Specifications |
122
click to vote
ANLP
1997
15 years 5 months ago
1997
This paper presents a prototype system for key term manipulation and visualization in a real-world commercial environment. The system consists of two components. A preprocessor ge...
113
click to vote
NIPS
1996
15 years 5 months ago
1996
We describe the implementation of a hidden Markov model state decoding system, a component for a wordspotting speech recognition system. The key specification for this state decod...
113
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
IPsec allows a huge amount of flexibility in the ways in which its component cryptographic mechanisms can be combined to build a secure communications service. This may be good fo...
101
click to vote
ENTCS
2010
15 years 4 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
129
click to vote
EC
2006
15 years 4 months ago
2006
This paper presents GASAT, a hybrid algorithm for the satisfiability problem (SAT). The main feature of GASAT is that it includes a recombination stage based on a specific crossov...