73 search results - page 11 / 15 » Contextual modal type theory |
ACL
1992
13 years 8 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
ENTCS
2007
13 years 7 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
ICIP
2008
IEEE
2008
IEEE
An automatic method to learn and transfer the photometric appearance of partially overlapping images
14 years 1 months ago
The first major contribution of this paper is a robust method to learn the photometric mapping between the overlapping portions of two registered images acquired either under dif...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
ICMI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to ...