3717 search results - page 11 / 744 » Representing Multiple Theories |
NECO
2010
13 years 6 months ago
2010
To allow the hidden units of a restricted Boltzmann machine to model the transformation between two successive images, Memisevic and Hinton (2007) introduced three-way multiplicat...
SERA
2010
Springer
13 years 6 months ago
2010
Springer
—Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeli...
LREC
2010
13 years 9 months ago
2010
The fast evolution of language technology has produced pressing needs in standardization. The multiplicity of language resources representation levels and the specialization of th...
GG
2004
Springer
14 years 1 months ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
LICS
1990
IEEE
13 years 11 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...