Sciweavers

4209 search results - page 206 / 842
» Software Change and Evolution
Sort
View
FAC
2006
122views more  FAC 2006»
13 years 10 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
ECCV
2008
Springer
15 years 20 days ago
Temporal Surface Tracking Using Mesh Evolution
In this paper, we address the problem of surface tracking in multiple camera environments and over time sequences. In order to fully track a surface undergoing significant deformat...
Kiran Varanasi, Andrei Zaharescu, Edmond Boyer, Ra...
ICNC
2009
Springer
14 years 5 months ago
Estimating Strength of Concrete Using a Grammatical Evolution
The main purpose of this paper is to propose an incorporating a grammatical evolution (GE) into the genetic algorithm (GA), called GEGA, and apply it to estimate the compressive s...
Hsun-Hsin Hsu, Li Chen, Chang-Huan Kou, Tai-Sheng ...
ER
1999
Springer
122views Database» more  ER 1999»
14 years 3 months ago
Evolution of Schema and Individuals of Configurable Products
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...
Tomi Männistö, Reijo Sulonen
WWW
2007
ACM
14 years 11 months ago
Mirror site maintenance based on evolution associations of web directories
Mirroring Web sites is a well-known technique commonly used in the Web community. A mirror site should be updated frequently to ensure that it reflects the content of the original...
Ling Chen 0002, Sourav S. Bhowmick, Wolfgang Nejdl