1864 search results - page 116 / 373 » Formal topology and domains |
129
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
186
click to vote
ASE
2002
15 years 6 months ago
2002
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
149
click to vote
ICANN
2009
Springer
16 years 29 days ago
2009
Springer
The best recent supervised sequence learning methods use gradient descent to train networks of miniature nets called memory cells. The most popular cell structure seems somewhat ar...
203
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
Given a snapshot of a social network, can we infer which new interactions among its members are likely to occur in the near future? We formalize this question as the link predicti...
167
click to vote
EMNLP
2007
15 years 7 months ago
2007
This paper presents a tree-to-tree transduction method for text rewriting. Our model is based on synchronous tree substitution grammar, a formalism that allows local distortion of...