Sciweavers

4353 search results - page 127 / 871
» Expressiveness of Process Algebras
Sort
View
ISVC
2010
Springer
15 years 2 months ago
Image Enhancement by Median Filters in Algebraic Reconstruction Methods: An Experimental Study
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
Norbert Hantos, Péter Balázs
INLG
2010
Springer
15 years 2 months ago
Generating Referring Expressions with Reference Domain Theory
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
Alexandre Denis
SIGMOD
2008
ACM
134views Database» more  SIGMOD 2008»
16 years 4 months ago
SystemT: a system for declarative information extraction
As applications within and outside the enterprise encounter increasing volumes of unstructured data, there has been renewed interest in the area of information extraction (IE) ? t...
Rajasekar Krishnamurthy, Yunyao Li, Sriram Raghava...
151
Voted
CCS
2007
ACM
15 years 10 months ago
Direct static enforcement of high-level security policies
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
Qihua Wang, Ninghui Li
AMAI
2007
Springer
15 years 4 months ago
A new modal logic for reasoning about space: spatial propositional neighborhood logic
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
Antonio Morales, Isabel Navarrete, Guido Sciavicco