Sciweavers

5681 search results - page 309 / 1137
» A Domain Model for eParticipation
Sort
View
223
Voted
KBSE
2007
IEEE
16 years 12 days ago
The eureka tool for software model checking
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
Alessandro Armando, Massimo Benerecetti, Dario Car...
AI
2007
Springer
16 years 10 days ago
Creating a Fuzzy Believer to Model Human Newspaper Readers
Abstract. We present a system capable of modeling human newspaper readers. It is based on the extraction of reported speech, which is subsequently converted into a fuzzy theory-bas...
Ralf Krestel, René Witte, Sabine Bergler
EKAW
2006
Springer
15 years 9 months ago
Multilayered Semantic Social Network Modeling by Ontology-Based User Profiles Clustering: Application to Collaborative Filtering
We propose a multilayered semantic social network model that offers different views of common interests underlying a community of people. The applicability of the proposed model to...
Iván Cantador, Pablo Castells
LREC
2008
121views Education» more  LREC 2008»
15 years 7 months ago
LMM: an OWL-DL MetaModel to Represent Heterogeneous Lexical Knowledge
In this paper we present a Linguistic Meta-Model (LMM) allowing a semiotic-cognitive representation of knowledge. LMM is freely available and integrates the schemata of linguistic...
Davide Picca, Alfio Massimiliano Gliozzo, Aldo Gan...
IJIS
2007
88views more  IJIS 2007»
15 years 6 months ago
Recent advances in computational models of natural argument
This paper reviews recent advances in the interdisciplinary area lying between artificial intelligence and the theory of argumentation. The paper has two distinct foci: first, exam...
Chris Reed, Floriana Grasso