7890 search results - page 1195 / 1578 » The MathSAT 3 System |
196
click to vote
DLOG
2003
15 years 8 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
183
click to vote
NIPS
2004
15 years 8 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
217
click to vote
NIPS
2001
15 years 8 months ago
2001
This paper presents a novel approach to the unsupervised learning of syntactic analyses of natural language text. Most previous work has focused on maximizing likelihood according...
181
click to vote
TREC
2004
15 years 8 months ago
2004
The TREC 2004 Terabyte Track evaluated information retrieval in largescale text collections, using a set of 25 million documents (426 GB). This paper gives an overview of our expe...
142
click to vote
WSC
2004
15 years 8 months ago
2004
Recursive simulation is the technique of having simulated decisionmakers themselves use simulation to inform their decisionmaking. Issues of efficiency require that the recursive ...