1641 search results - page 142 / 329 » Termination Analysis with Algorithmic Learning |
158
click to vote
DAC
2003
ACM
16 years 7 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...
218
click to vote
AAAI
2007
15 years 8 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...
179
click to vote
JUCS
2008
15 years 6 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...
175
click to vote
AIRWEB
2007
Springer
16 years 15 days 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...
186
click to vote
IJCNN
2006
IEEE
16 years 10 days 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...