3228 search results - page 366 / 646 » Computationally Sound Proofs |
135
click to vote
ACL
1998
15 years 5 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...
133
click to vote
IWFM
1998
15 years 5 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...
115
click to vote
CORR
2008
Springer
15 years 4 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...
133
click to vote
JAIR
2006
15 years 4 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...
IJSS
2007
15 years 3 months ago
2007
: With the rapidly escalating costs, the EU and the US make the adoption and application of Information, Computer and Communication Technologies (ICCT) in healthcare (e-health) an ...