4155 search results - page 642 / 831 » External Memory Algorithms |
107
Voted
CF
2005
ACM
15 years 2 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
88
Voted
MIE
2008
15 years 2 months ago
2008
Many attempts have been made in the QA domain but no system applicable to the field of health is currently available on the Internet. This paper describes a bilingual French/Engli...
95
Voted
WSC
1998
15 years 2 months ago
1998
Simulation optimization is rapidly becoming a mainstream tool for simulation practitioners. Simulation optimization is the practice of linking an optimization method with a simula...
113
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
92
Voted
AI
2010
Springer
15 years 26 days ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...