5378 search results - page 248 / 1076 » Base Logics in Argumentation |
206
click to vote
RTCSA
2003
IEEE
16 years 13 hour ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
187
click to vote
PKC
1998
Springer
15 years 11 months ago
1998
Springer
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...
167
click to vote
COLING
1990
15 years 8 months ago
1990
This paper describes a new program, correct, which takes words rejected by the Unix spell program, proposes a list of candidate corrections, and sorts them by probability. The pro...
199
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
185
click to vote
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
Studying examples of expert case-based adaptation could advance computational modeling but only if the examples can be succinctly represented and reliably interpreted. Supreme Cour...