1072 search results - page 130 / 215 » Object-Oriented Type Inference |
123
click to vote
WSC
2007
15 years 5 months ago
2007
The validation of modern military simulation relies heavily on the opinions of military experts, and it makes the validation task exhaustive and time-consuming. The knowledgebased...
122
Voted
UAI
2008
15 years 5 months ago
2008
We consider the task of learning mappings from sequential data to real-valued responses. We present and evaluate an approach to learning a type of hidden Markov model (HMM) for re...
110
click to vote
AAAI
2006
15 years 5 months ago
2006
We present our work on using statistical, corpus-based machine learning techniques to simultaneously recognize an agent's current goal schemas at various levels of a hierarch...
127
Voted
WEBNET
2000
15 years 4 months ago
2000
: This paper presents the design criteria for an Intelligent User Interface to a search engine of an on-line document data base. The Interface is aimed at users that have little or...
137
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...