Sciweavers

130 search results - page 19 / 26
» Making Semantic Interpretation Parser-Independent
Sort
View
JAIR
2007
117views more  JAIR 2007»
14 years 11 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
CIVR
2008
Springer
207views Image Analysis» more  CIVR 2008»
15 years 1 months ago
Accumulated motion energy fields estimation and representation for semantic event detection
In this paper, a motion-based approach for detecting highlevel semantic events in video sequences is presented. Its main characteristic is its generic nature, i.e. it can be direc...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...
JAIR
2006
110views more  JAIR 2006»
14 years 11 months ago
Modelling Mixed Discrete-Continuous Domains for Planning
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
Maria Fox, Derek Long
IIR
2010
15 years 1 months ago
Thinking of a System for Image Retrieval
Increasing applications are demanding effective and efficient support to perform retrieval in large collections of digital images. The work presented here is an early stage resear...
Giovanna Castellano, Gianluca Sforza, Maria Alessa...
ENTCS
2000
120views more  ENTCS 2000»
14 years 11 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga