8337 search results - page 83 / 1668 » Reasoning With Characteristic Models |
122
click to vote
AAAI
1998
15 years 5 months ago
1998
Our argumentation system, NAG, uses Bayesian networks in a user model and in a normative model to assemble and assess arguments which balance persuasiveness with normative correct...
142
click to vote
NIPS
1993
15 years 5 months ago
1993
We propose a learning algorithm for a variable memory length Markov process. Human communication, whether given as text, handwriting, or speech, has multi characteristic time scal...
108
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
108
click to vote
DCC
2004
IEEE
15 years 8 months ago
2004
IEEE
Modeling of the operational rate-distortion characteristics of a signal can significantly reduce the computational complexity of an optimal bit allocation algorithm. In this repor...
159
Voted
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...