77016 search results - page 247 / 15404 » Modeling Modeling |
137
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
We give a new view on building content clusters from page pair models. We measure the heuristic importance within every two pages by computing the distance of their accessed positi...
196
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
150
click to vote
COLING
2000
15 years 8 months ago
2000
Previous stochastic approaches to generation do not include a tree-based representation of syntax. While this may be adequate or even advantageous for some applications, other app...
174
click to vote
NIPS
2003
15 years 8 months ago
2003
Despite the popularity of connectionist models in cognitive science, their performance can often be difficult to evaluate. Inspired by the geometric approach to statistical model ...
143
click to vote
AML
2010
15 years 6 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...