9730 search results - page 1616 / 1946 » Relating models of backtracking |
184
click to vote
JSSPP
2004
Springer
16 years 2 days ago
2004
Springer
Job scheduling typically focuses on the CPU with little work existing to include I/O or memory. Time-shared execution provides the chance to hide I/O and long-communication latenc...
200
click to vote
MICAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
206
click to vote
NMR
2004
Springer
16 years 1 days ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
169
click to vote
SAS
2004
Springer
16 years 1 days ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
144
click to vote
SCN
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Span programs provide a linear algebraic model of computation. Monotone span programs (MSP) correspond to linear secret sharing schemes. This paper studies the properties...