Sciweavers

866 search results - page 164 / 174
» A Formal Investigation of
Sort
View
GECCO
2010
Springer
172views Optimization» more  GECCO 2010»
14 years 3 months ago
Designing better fitness functions for automated program repair
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
Ethan Fast, Claire Le Goues, Stephanie Forrest, We...
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
14 years 3 months ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston
COLT
2001
Springer
14 years 3 months ago
Ultraconservative Online Algorithms for Multiclass Problems
In this paper we study a paradigm to generalize online classification algorithms for binary classification problems to multiclass problems. The particular hypotheses we investig...
Koby Crammer, Yoram Singer
ELPUB
2000
ACM
14 years 3 months ago
Changes in the Information Dissemination Process Within the Scholarly World: The Impact of Electronic Publishing on Scholarly Co
This paper describes part of the results of recent research carried out in Brazil and the UK, which investigated the perceptions by academic social scientists of the impact of ele...
Sely Maria de Souza Costa
HICSS
1999
IEEE
267views Biometrics» more  HICSS 1999»
14 years 3 months ago
Annotate: A Web-based Knowledge Management Support System for Document Collections
Knowledge management is an increasingly important source of competitive advantage for organizations. Knowledge is a renewable, re-usable and accumulating asset of value to firms t...
Mark Ginsburg, Ajit Kambil