8486 search results - page 120 / 1698 » Ordered Enumeration Method |
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
The content-based indexing task considered in this paper consists in recognizing from their voice, speakers involved in a conversation. A new approach for speaker-based segmentati...
TPHOL
1998
IEEE
14 years 2 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
FSTTCS
1998
Springer
14 years 2 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
CCL
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
FUZZIEEE
2007
IEEE
14 years 13 hour ago
2007
IEEE
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...