8723 search results - page 74 / 1745 » A New Analysis of Co-Training |
100
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
127
click to vote
AAAI
2012
13 years 2 months ago
2012
The early classifications of the computational complexity of planning under various restrictions in STRIPS (Bylander) and SAS+ (B¨ackstr¨om and Nebel) have influenced followin...
108
click to vote
OSDI
2008
ACM
16 years 5 days ago
2008
ACM
Abstract ? Large enterprise networks consist of thousands of services and applications. The performance and reliability of any particular application may depend on multiple service...
CNSR
2005
IEEE
15 years 5 months ago
2005
IEEE
Bit Error Rate (BER) and Packet Error Rate (PER) are important Quality of Service Parameters for Wireless network. Most of researches in QoS have been devoted to the analysis of B...
105
click to vote
IJCAI
2003
15 years 1 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...