5550 search results - page 210 / 1110 » Different Approaches to Proof Systems |
190
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
A language for semi-structured documents, XML has emerged as the core of the web services architecture, and is playing crucial roles in messaging systems, databases, and document p...
162
click to vote
JSAC
2007
15 years 6 months ago
2007
— Overlay-based multicast has been proposed as a key alternative for large-scale group communication. There is ample motivation for such an approach, as it delivers the scalabili...
198
click to vote
ACL
2012
13 years 9 months ago
2012
Long distance word reordering is a major challenge in statistical machine translation research. Previous work has shown using source syntactic trees is an effective way to tackle ...
140
click to vote
AIED
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents an approach to generate structured explanations of system behaviour based on qualitative simulations. This has been implemented in WiziGarp, a domain-independen...
216
click to vote
SSPR
2004
Springer
15 years 12 months ago
2004
Springer
Classification fusion combines multiple classifications of data into a single classification solution of greater accuracy. Feature extraction aims to reduce the computational cost ...