1133 search results - page 174 / 227 » Local Logics for Traces |
186
click to vote
FUZZIEEE
2007
IEEE
16 years 18 days ago
2007
IEEE
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...
166
click to vote
ICLP
2007
Springer
16 years 13 days ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
152
click to vote
SAT
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
148
click to vote
WSFM
2007
Springer
16 years 11 days ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
143
click to vote
ENC
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...