886 search results - page 39 / 178 » Reasoning with contextual graphs |
128
click to vote
CSL
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we propose a neural network model for predicting the durations of syllables. A four layer feedforward neural network trained with backpropagation algorithm is used ...
127
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
120
click to vote
COLING
1996
15 years 5 months ago
1996
The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative pri...
146
click to vote
TCAD
2002
15 years 3 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
114
click to vote
CSCWD
2008
Springer
15 years 5 months ago
2008
Springer
Task partition is a critical problem of collaborative conceptual design. Aiming at the shortage that current task partition methods don't accord to innovative functional reas...