1641 search results - page 142 / 329 » Termination Analysis with Algorithmic Learning |
116
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
182
Voted
AAAI
2007
15 years 6 months ago
2007
Multi-label learning deals with ambiguous examples each may belong to several concept classes simultaneously. In this learning framework, the inherent ambiguity of each example is...
139
Voted
JUCS
2008
15 years 3 months ago
2008
Abstract: Adaptive behavior and learning are required of software agents in many application domains. At the same time agents are often supposed to be resource-bounded systems, whi...
135
Voted
AIRWEB
2007
Springer
15 years 9 months ago
2007
Springer
Web spam can significantly deteriorate the quality of search engines. Early web spamming techniques mainly manipulate page content. Since linkage information is widely used in we...
153
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— Several heuristic methods have been suggested for improving the generalization capability in neural network learning, most of which are concerned with a single-objective (SO) l...