1546 search results - page 206 / 310 » Context-Aware Computing with Sound |
151
Voted
AAAI
1998
15 years 7 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
154
click to vote
ACL
1998
15 years 7 months ago
1998
Machine Translation (MT) need not be confined to inter-language activities. In this paper, we discuss inter-dialect MT in general and Cantonese-Mandarin MT in particular. Mandarin...
155
click to vote
IWFM
1998
15 years 7 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
145
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We investigate a biologically motivated approach to fast visual classification, directly inspired by the recent work [13]. Specifically, trading-off biological accuracy for comput...
151
Voted
JAIR
2006
15 years 5 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...