6800 search results - page 236 / 1360 » Testing with Functions as Specifications |
155
Voted
ICGA
1997
15 years 6 months ago
1997
This paper presents a genetic algorithm (GA) with specialized encoding, initialization and local search genetic operators to optimize communication network topologies. This NPhard...
130
Voted
CLEF
2009
Springer
15 years 6 months ago
2009
Springer
This paper reports on the construction and testing of a new Question Answering (QA) system, implemented as an workflow which builds on several web services developed at the Resear...
157
click to vote
TCSV
2002
15 years 4 months ago
2002
The new video-coding standard MPEG-4 enables content-based functionality, as well as high coding efficiency, by taking into account shape information of moving objects. A novel alg...
134
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Vitreoretinal surgeons use 0.5mm diameter instruments to manipulate delicate tissue inside the eye while applying imperceptible forces that can cause damage to the retina...
174
Voted
TCAD
2010
14 years 11 months ago
2010
Protein crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the 3-D arrangement of the constituent amino acids, which in turn ...