Sciweavers

3429 search results - page 407 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
149
Voted
IPMU
2010
Springer
15 years 3 months ago
Retrieving Texture Images Using Coarseness Fuzzy Partitions
Abstract. In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling ...
Jesús Chamorro-Martínez, Pedro Manue...
AAMAS
2011
Springer
14 years 11 months ago
Reasoning about agent deliberation
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 11 months ago
Provenance for Aggregate Queries
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
Yael Amsterdamer, Daniel Deutch, Val Tannen
POPL
2010
ACM
16 years 2 months ago
A Theory of Indirection via Approximation
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
Aquinas Hobor, Robert Dockins, Andrew W. Appel
ACL
1997
15 years 6 months ago
Approximating Context-Free Grammars with a Finite-State Calculus
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...
Edmund Grimley-Evans