5234 search results - page 246 / 1047 » Method Components - Rationale Revealed |
135
click to vote
PCI
2001
Springer
15 years 8 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
156
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
280
Voted
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
—In this paper, we propose an improved method for text/graphics segmentation. Text/graphics separation is a crucial preprocessing step in document analysis before further analysi...
131
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Port-based network modeling of complex physical systems naturally leads to port-Hamiltonian system models. This motivates the search for structure-preserving model reduction me...
96
Voted
TOG
2010
14 years 10 months ago
2010
In this paper we describe a fast strain-limiting method that allows stiff, incompliant materials to be simulated efficiently. Unlike prior approaches, which act on springs or indi...