1557 search results - page 105 / 312 » Programming up to Congruence |
112
click to vote
NLP
2000
15 years 2 months ago
2000
Abstract. The paper argues that a promising way to improve the success rate of preference-based anaphora resolution algorithms is the use of machine learning. The paper outlines MA...
PROFES
2000
Springer
15 years 2 months ago
2000
Springer
Building common ontologies, setting up measurement programs, and conducting interviews are valid techniques to start eliciting knowledge and experience for later reuse. However, th...
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
ANNALS
2006
14 years 11 months ago
2006
This paper describes an interactive simulation of the Electronical Numerical Integrator and Computer (ENIAC). With the simulator, the user can wire up complex configurations of th...
EOR
2006
14 years 11 months ago
2006
This paper is concerned with workload minimization in re-entrant lines with exponential service times and preemptive control policies. Using a numerical algorithm called the power...