3819 search results - page 748 / 764 » Predicting Dependability by Testing |
141
Voted
IJCAI
2001
15 years 4 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
131
Voted
PICS
2003
15 years 4 months ago
2003
To establish a correlation between the system output and the corresponding reflectance, the system characterisation functionDeriving the actual multispectral data from the output o...
131
Voted
IJCAI
1989
15 years 3 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
136
Voted
ASUNAM
2010
IEEE
15 years 3 months ago
2010
IEEE
—To understand the diffusive spreading of a product in a telecom network, whether the product is a service, handset, or subscription, it can be very useful to study the structure...
128
Voted
AI
2008
Springer
15 years 2 months ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...