2573 search results - page 106 / 515 » Combinations of Modal Logics |
134
click to vote
FROCOS
2005
Springer
15 years 9 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...
148
click to vote
COST
2009
Springer
15 years 8 months ago
2009
Springer
The paper presents our initial attempts in building an audio video emotion recognition system. Both, audio and video sub-systems are discussed, and description of the database of s...
133
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...
189
click to vote
LOGCOM
2006
15 years 4 months ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
139
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...