1743 search results - page 83 / 349 » Generalized Modal Satisfiability |
102
click to vote
CP
2008
Springer
15 years 2 months ago
2008
Springer
The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem i...
84
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
This paper discusses the development of a believable agent-based educational application designed to develop inter-cultural empathy for 13-14 year old students. It considers relev...
116
Voted
TARK
2009
Springer
15 years 7 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
86
Voted
ICIP
2008
IEEE
2008
IEEE
An automatic method to learn and transfer the photometric appearance of partially overlapping images
15 years 7 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...
110
click to vote
DEXAW
2007
IEEE
15 years 7 months ago
2007
IEEE
As part of the general growth and diversification of media in different modalities, the presence of information in the form of human speech in the world-wide body of digital conte...