46 search results - page 5 / 10 » Current Directions in Automatic Test-Pattern Generation |
AAI
2005
13 years 6 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
ENTCS
2006
13 years 6 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
IPPS
2006
IEEE
14 years 22 days ago
2006
IEEE
Experience with generating simulation data of high energy physics experiments has shown that a job monitoring system (JMS) is essential to understand failures of jobs within the G...
VLDB
2005
ACM
14 years 7 months ago
2005
ACM
Recommendations are crucial for the success of large websites. While there are many ways to determine recommendations, the relative quality of these recommenders depends on many fa...
ICWS
2008
IEEE
13 years 8 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...