7 search results - page 2 / 2 » Automatic Verification of Knowledge and Time with NuSMV |
AAAI
1997
14 years 11 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
BMCBI
2007
14 years 10 months ago
2007
Background: Many online resources for the life sciences have been developed and introduced in peer-reviewed papers recently, ranging from databases and web applications to data-an...