6368 search results - page 125 / 1274 » Modeling Problem Transformations based on Data Complexity |
173
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
155
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
We propose a new algorithm for two-phase, piecewise-smooth segmentation with shape prior. The image is segmented by a binary template that is deformed by a regular geometric transf...
128
Voted
IJCAI
1993
15 years 6 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
194
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
178
click to vote
SEKE
2010
Springer
15 years 3 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...