6020 search results - page 737 / 1204 » A New Approach to Model Counting |
199
click to vote
AAAI
1997
15 years 8 months ago
1997
Difficult real-time AI problems require a means for expressing multi-dimensional and dynamic goal criteria and a principled model for satisficing to best meet the criteria. In the...
221
click to vote
NIPS
1998
15 years 8 months ago
1998
This paper introduces a method for regularization of HMM systems that avoids parameter overfitting caused by insufficient training data. Regularization is done by augmenting the E...
175
click to vote
FORTE
1997
15 years 8 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
174
Voted
AAAI
1996
15 years 8 months ago
1996
This article advocates a new model for inductive learning. Called sequential induction, it helps bridge classical fixed-sample learning techniques (which are efficient but difficu...
214
click to vote
TREC
2007
15 years 8 months ago
2007
In this paper we describe Tokyo Institute of Technology’s attempt at the TREC2007 question answering (QA) track. Keeping the same theoretical QA model as for the TREC2006 task, ...