7991 search results - page 450 / 1599 » Using More Reasoning to Improve |
184
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
195
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
176
click to vote
NIPS
2001
15 years 8 months ago
2001
This paper presents AutoDJ: a system for automatically generating music playlists based on one or more seed songs selected by a user. AutoDJ uses Gaussian Process Regression to le...
198
click to vote
IADIS
2003
15 years 8 months ago
2003
The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be more and more complex. Aspect oriented programming gives u...
222
click to vote
IJCAI
1997
15 years 8 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...