2880 search results - page 493 / 576 » Types are calling conventions |
168
click to vote
ICFEM
2009
Springer
16 years 27 days ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
150
click to vote
AMR
2007
Springer
16 years 15 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
164
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
159
click to vote
FOCS
2006
IEEE
16 years 11 days ago
2006
IEEE
We study compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problem...
150
click to vote
IJCNN
2006
IEEE
16 years 11 days ago
2006
IEEE
— It is difficult to map many existing learning algorithms onto biological networks because the former require a separate learning network. The computational basis of biological...