88 search results - page 18 / 18 » Introduction to the Relationlog System |
KBSE
1999
IEEE
13 years 10 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
SI3D
1992
ACM
13 years 10 months ago
1992
ACM
The development of 3D visual simulation systemson inexpensive, commercially available graphics workstations is occurring today and will be commonplace in the near future. Such sys...
BMCBI
2006
13 years 6 months ago
2006
Background: Gene function analysis often requires a complex and laborious sequence of laboratory and computer-based experiments. Choosing an effective experimental design generall...