Sciweavers

6650 search results - page 320 / 1330
» models 2009
Sort
View
161
Voted
ICIP
2009
IEEE
15 years 4 months ago
Scene image segmentation based on Perceptual Organization
We propose a novel scene image segmentation algorithm based on Perceptual Organization. We develop a Perceptual Organization model by quantitatively incorporating a list of Gestal...
Chang Cheng, Andreas Koschan, David L. Page, Mongi...
HCI
2009
15 years 4 months ago
Composing Visual Syntax for Domain Specific Languages
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Ba...
ATVA
2009
Springer
89views Hardware» more  ATVA 2009»
16 years 1 months ago
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Q...
ICFEM
2009
Springer
16 years 1 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...
ICMI
2009
Springer
146views Biometrics» more  ICMI 2009»
16 years 1 months ago
Learning from preferences and selected multimodal features of players
The influence of multimodal sources of input data to the construction of accurate computational models of user preferences is investigated in this paper. The case study presented...
Georgios N. Yannakakis