2573 search results - page 269 / 515 » Combinations of Modal Logics |
203
click to vote
ACL
2012
13 years 9 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires â€...
166
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
165
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
175
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. Learning ML...
187
click to vote
ISLPED
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we observe that minimum energy Emin of subthreshold logic dramatically increases when reaching 45 nm node. We demonstrate by circuit simulation and analytical model...