979 search results - page 110 / 196 » Automated Environment Generation for Software Model Checking |
ILP
2003
Springer
14 years 2 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
ECLIPSE
2004
ACM
14 years 2 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
NRHM
2000
13 years 8 months ago
2000
There are a number of different approaches for automatically selecting video clips from a video database and sequencing them into meaningful presentations for viewers. The video d...
AVI
2004
13 years 10 months ago
2004
In this paper we present a novel integrated 3D editing environment that combines recent advantages in various fields of computer graphics, such as shape modelling, video-based Hum...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...