3825 search results - page 535 / 765 » More on pooling spaces |
187
click to vote
ICICS
2004
Springer
16 years 14 days ago
2004
Springer
Fail-stop signature (FSS) schemes are important primitives because in a fail-stop signature scheme the signer is protected against unlimited powerful adversaries as follows: Even i...
182
click to vote
ICLP
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
182
click to vote
ICMI
2004
Springer
16 years 14 days ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
200
click to vote
IFIP
2004
Springer
16 years 13 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
239
click to vote
ISI
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Terrorist events such as suicide bombings are rare yet extremely destructive events. Responses to such events are even rarer, because they require forecasting methods for...