7 search results - page 2 / 2 » The Contribution of End-Users to the TransType2 Project |
WWW
2002
ACM
14 years 5 months ago
2002
ACM
The Semantic Web is a new layer of the Internet that enables semantic representation of the contents of existing web pages. Using common ontologies, human users sketch out the mos...
KBSE
1998
IEEE
13 years 9 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...