1795 search results - page 254 / 359 » Search by strategy |
182
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
187
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Automatic semantic classification of video databases is very useful for users searching and browsing but it is a very challenging research problem as well. Combination of visual an...
162
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
We consider probabilistic constrained linear programs with general distributions for the uncertain parameters. These problems generally involve non-convex feasible sets. We develo...
190
click to vote
AAAI
2008
15 years 9 months ago
2008
Current search engines cannot effectively rank those relational data, which exists on dynamic websites supported by online databases. In this study, to rank such structured data, ...
181
click to vote
CBMS
2005
IEEE
15 years 8 months ago
2005
IEEE
Inductive learning systems have been successfully applied in a number of medical domains. Nevertheless, the effective use of these systems requires data preprocessing before apply...