Sciweavers

2651 search results - page 64 / 531
» Experiences with the Use of a Configuration Language
Sort
View
ICAIL
2005
ACM
14 years 2 months ago
Automatic Legal Text Summarisation: Experiments with Summary Structuring
We describe a set of experiments using machine learning techniques for the task of extractive summarisation. The research is part of a summarisation project for which we use a cor...
Ben Hachey, Claire Grover
HVEI
2009
13 years 6 months ago
Sign language perception research for improving automatic sign language recognition
Current automatic sign language recognition (ASLR) seldom uses perceptual knowledge about the recognition of sign language. Using such knowledge can improve ASLR because it can gi...
Gineke A. ten Holt, Jeroen Arendsen, Huib de Ridde...
FOIKS
2006
Springer
14 years 21 days ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
BIRTHDAY
2010
Springer
13 years 10 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
CONCURRENCY
1998
139views more  CONCURRENCY 1998»
13 years 8 months ago
Applications experience in Jade
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
Martin C. Rinard