Sciweavers

4231 search results - page 600 / 847
» Using Language More Responsibly
Sort
View
TES
2000
Springer
15 years 8 months ago
Active Rules for XML: A New Paradigm for E-Services
XML is rapidly becoming one of the most widely adopted technologies for information exchange and representation. As the use of XML becomes more widespread, we foresee the developme...
Angela Bonifati, Stefano Ceri, Stefano Paraboschi
FPLE
1995
15 years 8 months ago
Basic Proof Skills of Computer Science Students
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...
Pieter H. Hartel, Bert van Es, Dick Tromp
ICALP
2010
Springer
15 years 6 months ago
Parameterized Modal Satisfiability
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
Antonis Achilleos, Michael Lampis, Valia Mitsou
CLEF
2008
Springer
15 years 6 months ago
Overview of the Answer Validation Exercise 2008
The Answer Validation Exercise at the Cross Language Evaluation Forum (CLEF) is aimed at developing systems able to decide whether the answer of a Question Answering (QA) system i...
Álvaro Rodrigo, Anselmo Peñas, Felis...
150
Voted
ESWS
2008
Springer
15 years 6 months ago
XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage
With currently available tools and languages, translating between an existing XML format and RDF is a tedious and error-prone task. The importance of this problem is acknowledged b...
Waseem Akhtar, Jacek Kopecký, Thomas Krennw...