Sciweavers

2539 search results - page 266 / 508
» Semantic frameworks for e-government
Sort
View
CIE
2009
Springer
16 years 1 months ago
Stochastic Programs and Hybrid Automata for (Biological) Modeling
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
Luca Bortolussi, Alberto Policriti
CONTEXT
2007
Springer
16 years 24 days ago
Default Inferences in Metaphor Interpretation
In this paper we provide a formalization of a set of default rules that we claim are required for the transfer of information such as causation, event rate and duration in the inte...
Rodrigo Agerri, John A. Barnden, Mark G. Lee, Alan...
159
Voted
SAMT
2007
Springer
123views Multimedia» more  SAMT 2007»
16 years 22 days ago
Region-based Annotation Tool using Partition Trees
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
Xavier Giro, Neus Camps, Ferran Marqués
ECAI
2004
Springer
15 years 10 months ago
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
Ofer Arieli
142
Voted
ECAI
2006
Springer
15 years 10 months ago
On Interfacing with an Ubiquitous Robotic System
The emerging field of ubiquitous robotics presents new challenges for human-robot interface. In this note, we introduce the concept of a common interface point using an expression-...
Donatella Guarino, Alessandro Saffiotti