11539 search results - page 72 / 2308 » On Learning from Exercises |
SAFECOMP
2005
Springer
15 years 3 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
PPSN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A two-population Genetic Algorithm for constrained optimization is exercised and analyzed. One population consists of feasible candidate solutions evolving toward optimal...
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
While the IEEE P1500 standards working group is on the verge of recommending a standard test interface for "non-mergeable" cores, a need was felt to adopt a standard met...
SIGADA
1998
Springer
15 years 2 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
We describe a method for recognizing textual entailment that uses the length of the longest common subsequence (LCS) between two texts as its decision criterion. Rather than requi...