6018 search results - page 214 / 1204 » Factored Translation Models |
147
click to vote
JANCL
2002
15 years 4 months ago
2002
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
123
click to vote
UAI
2004
15 years 6 months ago
2004
We consider the challenge of preference elicitation in systems that help users discover the most desirable item(s) within a given database. Past work on preference elicitation foc...
170
Voted
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
124
Voted
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper focuses on relationships between agent models and their physical realisations. Approaches on reduction from philosophical literature are analysed in a formalised manner...
102
click to vote
JAIR
2006
15 years 4 months ago
2006
Machine transliteration is a method for automatically converting words in one language into phonetically equivalent ones in another language. Machine transliteration plays an impo...