8337 search results - page 190 / 1668 » Reasoning With Characteristic Models |
157
click to vote
AAAI
2008
15 years 7 months ago
2008
Classification of texts potentially containing a complex and specific terminology requires the use of learning methods that do not rely on extensive feature engineering. In this w...
118
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: There are several situations in population biology research where simulating DNA sequences is useful. Simulation of biological populations under different evolutionary...
147
Voted
LREC
2008
15 years 6 months ago
2008
Some big languages like English are spoken by a lot of people whose mother tongues are different from. Their second languages often have not only distinct accent but also differen...
121
Voted
ESSLLI
1999
Springer
15 years 9 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....
134
Voted
CADE
2006
Springer
16 years 5 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...