3299 search results - page 531 / 660 » A general mathematics of names |
150
click to vote
ICDM
2007
IEEE
16 years 21 days ago
2007
IEEE
It is estimated that less than 10 percent of the world’s species have been described, yet species are being lost daily due to human destruction of natural habitats. The job of d...
157
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
144
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
This paper investigates the problem of estimating the value of probabilistic parameters needed for decision making in environments in which an agent, operating within a multi-agen...
175
click to vote
CADE
2007
Springer
16 years 17 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
171
click to vote
CIE
2007
Springer
16 years 17 days ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...