2450 search results - page 151 / 490 » On Application of Structural Decomposition for Process Model... |
225
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
Structured outputs such as multidimensional vectors or graphs are frequently encountered in real world pattern recognition applications such as computer vision, natural language pr...
135
click to vote
COMPGEOM
2008
ACM
15 years 6 months ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
121
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
122
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
142
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...