4 search results - page 1 / 1 » csl 1994 |
CSL
1994
Springer
13 years 8 months ago
1994
Springer
CSL
1994
Springer
13 years 8 months ago
1994
Springer
CSL
1994
Springer
13 years 8 months ago
1994
Springer
We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...
CSL
2006
Springer
13 years 4 months ago
2006
Springer
A novel technique for maximum "a posteriori" (MAP) adaptation of maximum entropy (MaxEnt) and maximum entropy Markov models (MEMM) is presented. The technique is applied...