Sciweavers

2694 search results - page 289 / 539
» Frege's New Science
Sort
View
PDPTA
2003
15 years 8 months ago
Teaching Java Concurrency to CS vs IT Students: A Matter of Emphasis
— A number of colleges and universities have recently added new degree programs in Information Technology (IT), or added IT components to existing Computer Science (CS) programs....
Charles E. Hughes, Marc L. Smith
NAACL
1994
15 years 8 months ago
Automatic Evaluation of Computer Generated Text: A Progress Report on the TEXTEVAL Project
We present results ofexperiments designed to assess the usefulness of a new technique for the evaluation of translation quality, comparing human rankings with automatic measures. ...
Chris Brew, Henry S. Thompson
AAAI
1990
15 years 7 months ago
Mechanizing Inductive Reasoning
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
Emmanuel Kounalis, Michaël Rusinowitch
GECCO
2008
Springer
160views Optimization» more  GECCO 2008»
15 years 7 months ago
An estimation distribution algorithm with the spearman's rank correlation index
This article arguments that rank correlation coefficients are powerful association measures and how can they be adopted by EDAs. A new EDA implements the proposed ideas: the Non-P...
Arturo Hernández Aguirre, Enrique Raú...
GECCO
2008
Springer
165views Optimization» more  GECCO 2008»
15 years 7 months ago
Multiple sequence alignment using a GLOCSA guided genetic algorithm
This paper introduces GLOCSA as a new scoring function to rate multiple sequence alignments. It is intended to be simple, considering the whole alignment at once and reflecting t...
Edgar David Arenas-Díaz, Helga Ochoterena-B...