Sciweavers

3319 search results - page 534 / 664
» Subshifts, Languages and Logic
Sort
View
IFIP12
2008
13 years 11 months ago
A Risk Assessment System with Automatic Extraction of Event Types
In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, ...
Philippe Capet, Thomas Delavallade, Takuya Nakamur...
IFIP8
2007
13 years 11 months ago
A Hybrid Approach for Business Process Verification
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
Bing Li, Junichi Iijima
SWAP
2008
13 years 11 months ago
OWL Change Management Patterns
Ontology evolution is a complex problem. In our work, we focus on issues related to change management, particularly consistency maintenance and we present in this paper, an overvie...
Rim Djedidi, Marie-Aude Aufaure
CLA
2004
13 years 11 months ago
A Semi-automatic Method to Ontology Design by Using FCA
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
Hele-Mai Haav
COMMA
2006
13 years 11 months ago
A dialectic procedure for sceptical, assumption-based argumentation
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
Phan Minh Dung, Paolo Mancarella, Francesca Toni