1522 search results - page 70 / 305 » Practical Exception Specifications |
SIGCSE
1993
ACM
15 years 5 months ago
1993
ACM
Programming contests can provide a high-profile method for attracting interest in computer science. We describe our philosophy as it pertains to the purpose and merits of program...
121
click to vote
ICML
1994
IEEE
15 years 5 months ago
1994
IEEE
Reinforcement learning (RL) algorithms provide a sound theoretical basis for building learning control architectures for embedded agents. Unfortunately all of the theory and much ...
125
click to vote
INCDM
2010
Springer
15 years 5 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
132
click to vote
CISC
2008
Springer
15 years 3 months ago
2008
Springer
One of the important applications of digital signature is anonymous credential or pseudonym system. In these scenarios, it is essential that the identity of the signer is kept secr...
132
click to vote
CATS
2007
15 years 3 months ago
2007
We study the manipulation of voting schemes, where a voter lies about their preferences in the hope of improving the election’s outcome. All voting schemes are potentially manip...