Sciweavers

617 search results - page 61 / 124
» Language Games, Natural and Artificial
Sort
View
AIME
2009
Springer
14 years 4 months ago
Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...
Gersende Georg, Hugo Hernault, Marc Cavazza, Helmu...
IWINAC
2009
Springer
14 years 4 months ago
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
Guido Sciavicco, José M. Juárez, Man...
LFCS
2009
Springer
14 years 4 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
AIIA
2007
Springer
14 years 4 months ago
A Tree Kernel-Based Shallow Semantic Parser for Thematic Role Extraction
We present a simple, two-steps supervised strategy for the identification and classification of thematic roles in natural language texts. We employ no external source of informat...
Daniele Pighin, Alessandro Moschitti
ECAL
2007
Springer
14 years 4 months ago
Turing Complete Catalytic Particle Computers
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
Anthony M. L. Liekens, Chrisantha Thomas Fernando