Sciweavers

2242 search results - page 125 / 449
» From testing to anti-product development
Sort
View
ACIVS
2009
Springer
15 years 11 months ago
Engineering of Computer Vision Algorithms Using Evolutionary Algorithms
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
Marc Ebner
CLEF
2010
Springer
15 years 7 months ago
RGU at ImageCLEF2010 Wikipedia Retrieval Task
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
Jun Wang, Dawei Song, Leszek Kaliciak
EOR
2008
75views more  EOR 2008»
15 years 6 months ago
GRASP and path relinking for project scheduling under partially renewable resources
Recently, in the field of project scheduling problems the concept of partially renewable resources has been introduced. Theoretically, it is a generalization of both renewable and...
Ramón Alvarez-Valdés, Enric Crespo, ...
CAISE
2005
Springer
15 years 12 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
LFP
1990
101views more  LFP 1990»
15 years 7 months ago
A Module System for Scheme
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
Pavel Curtis, James Rauen