528 search results - page 67 / 106 » Construction of concrete verification models from C |
ISMB
1996
14 years 12 months ago
1996
This paper presents an algorithm for combining pattern recognition-based exon prediction and database homologysearch in gene model construction. Thegoal is to use homologousgeneso...
WSC
1997
14 years 12 months ago
1997
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
TCS
2002
14 years 10 months ago
2002
We investigate Martin's game (as described in Arruda et al. (Eds.), On Random R. E. Sets, Non-Classical Logics, Model Theory and Computability, North-Holland, Amsterdam, 1977...
104
click to vote
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...
KCAP
2003
ACM
15 years 3 months ago
2003
ACM
Electronic concept mapping tools empower experts to play an active role in the knowledge capture process, and provide a medium for building richly connected multimedia knowledge m...