9698 search results - page 361 / 1940 » models 2010 |
182
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
—Color models are often used for representing object appearance for foreground segmentation applications. The relationships between colors can be just as useful for object select...
195
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
184
click to vote
ACIIDS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
181
click to vote
DAWAK
2010
Springer
15 years 8 months ago
2010
Springer
Facts are multidimensional concepts of primary interests for knowledge workers because they are related to events occurring dynamically in an organization. Normally, these concepts...
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...