Sciweavers

949 search results - page 33 / 190
» Programmed Mutagenesis Is Universal
Sort
View
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
13 years 11 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
CSEE
2010
Springer
13 years 5 months ago
An Undergraduate Summer Research Program in Software Safety
This paper shares the experiences and lessons learned from conducting an NSF-sponsored eight-week summer research program for ten undergraduate students from multiple universities...
W. Eric Wong, Vidroha Debroy
EVOW
2008
Springer
13 years 9 months ago
Genetic Programming in Statistical Arbitrage
Abstract. This paper employs genetic programming to discover statistical arbitrage strategies on the banking sector in the Euro Stoxx universe. Binary decision rules are evolved us...
Philip Saks, Dietmar G. Maringer
LREC
2010
192views Education» more  LREC 2010»
13 years 9 months ago
The DARPA Machine Reading Program - Encouraging Linguistic and Reasoning Research with a Series of Reading Tasks
The goal of DARPA's Machine Reading (MR) program is nothing less than making the world's natural language corpora available for formal processing. Most text processing r...
Stephanie Strassel, Dan Adams, Henry Goldberg, Jon...
WEBNET
2001
13 years 9 months ago
Evaluation of Online Educational Software Designed for the Purpose of Teaching Programming
: In this paper we evaluate educational software, available in the market, designed for the purpose of teaching programming that addresses mainly beginners and intermediate student...
Georgiadou Elissavet, Anastasios A. Economides, An...