3068 search results - page 94 / 614 » Separation Results on the |
186
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
147
click to vote
AAAI
2008
15 years 8 months ago
2008
We introduce a multi-model variant of the EMT-based control algorithm. The new algorithm, MM-EMT, is capable of balancing several control tasks expressed using separate dynamic mo...
151
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
166
click to vote
HAIS
2010
Springer
15 years 8 months ago
2010
Springer
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...
171
click to vote
DAS
2010
Springer
15 years 8 months ago
2010
Springer
Separating machine printed text and handwriting from overlapping text is a challenging problem in the document analysis field and no reliable algorithms have been developed thus f...