509 search results - page 9 / 102 » clear 2006 |
161
click to vote
AAAI
2006
15 years 8 months ago
2006
Since the 1970s AI as a science has progressively fragmented into many activities that are very narrowly focused. It is not clear that work done within these fragments can be comb...
153
Voted
APAL
2006
15 years 6 months ago
2006
We aim at a conceptually clear and technical smooth investigation of Ackermann's substitution method. Our analysis provides a direct classification of the provable recursive ...
191
Voted
ENTCS
2006
15 years 6 months ago
2006
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This proc...
147
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...
190
Voted
IWCMC
2006
ACM
16 years 22 days ago
2006
ACM
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...