1128 search results - page 120 / 226 » Classical Natural Deduction |
104
Voted
VR
2000
IEEE
15 years 4 months ago
2000
IEEE
Virtual environments have shown great promise as a research tool in science and engineering. In this paper we study a classical problem in mathematics: that of approximating globa...
127
Voted
AAAI
2007
15 years 3 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
122
Voted
COCOON
2005
Springer
15 years 2 months ago
2005
Springer
We consider a variation of the classical problem of finding prices which guarantee equilibrium in linear markets consisting of divisible goods and agents with money. Specificall...
ACL
2007
15 years 2 months ago
2007
Domain adaptation is an important problem in natural language processing (NLP) due to the lack of labeled data in novel domains. In this paper, we study the domain adaptation prob...
88
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...