Sciweavers

1912 search results - page 229 / 383
» On the evaluation of argumentation formalisms
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ISMIS
2009
Springer
16 years 1 months ago
Semantic-Based Top-k Retrieval for Competence Management
Abstract. We present a knowledge-based system, for skills and talent management, exploiting semantic technologies combined with top-k retrieval techniques. The system provides adva...
Umberto Straccia, Eufemia Tinelli, Simona Colucci,...
QI
2009
Springer
139views Physics» more  QI 2009»
16 years 1 months ago
Nonseparability of Shared Intentionality
According to recent studies in developmental psychology and neuroscience, symbolic language is essentially intersubjective. Empathetically relating to others renders possible the a...
Christian Flender, Kirsty Kitto, Peter Bruza
IAT
2008
IEEE
16 years 27 days ago
Comparison of Agent-Based and Population-Based Simulations of Displacement of Crime
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn...
IV
2008
IEEE
155views Visualization» more  IV 2008»
16 years 25 days ago
Visualise Undrawable Euler Diagrams
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
Paolo Simonetto, David Auber