1581 search results - page 307 / 317 » Mechanizing Inductive Reasoning |
103
click to vote
PSSS
2003
15 years 1 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
NIPS
1997
15 years 1 months ago
1997
A Lyapunov function for excitatory-inhibitory networks is constructed. The construction assumes symmetric interactions within excitatory and inhibitory populations of neurons, and...
CASCON
1996
15 years 1 months ago
1996
The locality of the data in parallel programs is known to have a strong impact on the performance of distributed-memory multiprocessor systems. The worse the locality in access pa...
ATAL
2010
Springer
15 years 26 days ago
2010
Springer
Successful interaction between autonomous agents is contingent on those agents making decisions consistent with the expectations of their peers -- these expectations are based on ...
CCGRID
2010
IEEE
15 years 26 days ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...