1664 search results - page 92 / 333 » Towards Partial Reasoning |
99
Voted
NDSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The resulting platforms provide computational power pre...
107
Voted
CSL
1999
Springer
15 years 5 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
125
Voted
IJCAI
2007
15 years 2 months ago
2007
A key problem in playing strategy games is learning how to allocate resources effectively. This can be a difficult task for machine learning when the connections between actions a...
127
click to vote
DLOG
2010
14 years 10 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
113
click to vote
ICCBR
1999
Springer
15 years 5 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...