5363 search results - page 513 / 1073 » Building the Cerebellum in a Computer |
219
click to vote
LPAR
2005
Springer
16 years 22 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
175
click to vote
MDM
2005
Springer
16 years 22 days ago
2005
Springer
In this paper we propose adaptive content-driven routing and data dissemination algorithms for intelligently routing search queries in a peer-to-peer network that supports mobile ...
177
click to vote
PROFES
2005
Springer
16 years 22 days ago
2005
Springer
Content adaptable applications are often used in ubiquitous computing environment, and it aims to service the adaptable contents to users. In this environment, the services are dyn...
161
click to vote
WEBI
2005
Springer
16 years 21 days ago
2005
Springer
Internet search has a strong business model that permits a free service to users, so it is difficult to see why, if at all, there should be open source offerings as well. This pa...
202
click to vote
GECCO
2005
Springer
16 years 20 days ago
2005
Springer
Designing efficient sorting networks has been a challenging combinatorial optimization problem since the early 1960’s. The application of evolutionary computing to this problem ...