10907 search results - page 366 / 2182 » Constraint Based Strategies |
200
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In the past few years, web usage mining techniques have grown rapidly together with the explosive growth of the web, both in the research and commercial areas. In this work we pre...
150
click to vote
ITS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We describe Wayang Outpost, a web-based ITS for the Math section of the Scholastic Aptitude Test (SAT). It has several distinctive features: help with multimedia animatio...
186
click to vote
WSC
2008
15 years 9 months ago
2008
MKPLS (Multiway Kernel Partial Least Squares) methods are used to model the batch processes from process operational data. To improve the optimization performance, a batch-to-batc...
132
click to vote
LREC
2008
15 years 8 months ago
2008
This paper proposes a ping-pong document clustering method using NMF and the linkage based refinement alternately, in order to improve the clustering result of NMF. The use of NMF...
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...