Sciweavers

7811 search results - page 107 / 1563
» computing 2004
Sort
View
ICTAC
2004
Springer
15 years 3 months ago
Verifying Linear Duration Constraints of Timed Automata
Pham Hong Thai, Dang Van Hung
ICTAC
2004
Springer
15 years 3 months ago
An Approach to Integration Testing Based on Data Flow Specifications
Yuting Chen, Shaoying Liu, Fumiko Nagoya
53
Voted
RAID
2004
Springer
15 years 3 months ago
Detection of Interactive Stepping Stones: Algorithms and Confidence Bounds
Avrim Blum, Dawn Xiaodong Song, Shobha Venkatarama...
IIS
2004
14 years 11 months ago
Application of evolutionary computing to conformational analysis
In this paper we report new results concerning use of genetic algorithms in conformational analysis, field of pharmacy related to discovery and design of new drugs. The goal is to ...
Aleksander Wawer, Franciszek Seredynski, Pascal Bo...