2407 search results - page 482 / 482 » A Tool for Abstraction in Model Checking |
LPAR
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
CMC
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...