747 search results - page 69 / 150 » An Alternative Representation for QBF |
KR
1992
Springer
15 years 4 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
101
click to vote
APN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
111
click to vote
FPL
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
104
click to vote
ILP
2000
Springer
15 years 3 months ago
2000
Springer
Naive Bayesian classifiers have been very successful in attribute-value representations. However, it is not clear how the decomposition of the probability distributions on attribu...
ICDAR
1995
IEEE
15 years 3 months ago
1995
IEEE
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...