28 search results - page 6 / 6 » A Population and Interval Constraint Propagation Algorithm |
118
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
93
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
102
Voted
ISIPTA
2003
IEEE
15 years 6 months ago
2003
IEEE
Based on the coherence principle of de Finetti and a related notion of generalized coherence (g-coherence), we adopt a probabilistic approach to uncertainty based on conditional p...