Sciweavers

4372 search results - page 369 / 875
» Objects for Lexical Analysis
Sort
View
SIGSOFT
2000
ACM
15 years 11 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson
PRIS
2003
15 years 8 months ago
A Comparison of Line Detectors for Image Background Modelling
Abstract. In the context of multimedia data analysis, it is often necessary to understand what happens in a scene, which can rely on detecting and tracking the different moving obj...
Sébastien Lefèvre, Cédric Jeu...
GRC
2010
IEEE
15 years 7 months ago
Optimal Factorization of Three-Way Binary Data
We present a problem of factor analysis of three-way binary data, i.e. data described by a 3-dimensional binary matrix I, describing a relationship between objects, attributes, an...
Radim Belohlávek, Vilém Vychodil
ICMI
2007
Springer
215views Biometrics» more  ICMI 2007»
16 years 27 days ago
Visual inference of human emotion and behaviour
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
Shaogang Gong, Caifeng Shan, Tao Xiang
LOPSTR
2004
Springer
16 years 3 days ago
A Generic Framework for Context-Sensitive Analysis of Modular Programs
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
Germán Puebla, Jesús Correas, Manuel...