1989 search results - page 209 / 398 » Set functions for functional logic programming |
125
Voted
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...
143
Voted
ALT
2004
Springer
16 years 14 days ago
2004
Springer
Kernel functions are typically viewed as providing an implicit mapping of points into a high-dimensional space, with the ability to gain much of the power of that space without inc...
138
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Considering energy function to detect a correct protein fold from incorrect ones is very important for protein structure prediction and protein folding. Knowledge-base...
119
Voted
ITS
1992
Springer
15 years 7 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
132
click to vote
FUIN
2008
15 years 2 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...