471 search results - page 19 / 95 » Modals As A Problem For MT |
129
Voted
AIML
2008
15 years 4 months ago
2008
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...
125
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
111
Voted
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
Consider a 0–1 observation matrix M, where rows correspond to entities and columns correspond to signals; a value of 1 (or 0) in cell (i, j) of M indicates that signal j has bee...
130
Voted
ICANN
2005
Springer
15 years 8 months ago
2005
Springer
Although Support Vector Machines (SVMs) have been successfully applied to solve a large number of classification and regression problems, they suffer from the catastrophic forgetti...
123
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper describes a new approach to combine multiple modalities and applies it to the problem of affect recognition. The problem is posed as a combination of classifiers in a p...