Sciweavers

5234 search results - page 246 / 1047
» Method Components - Rationale Revealed
Sort
View
PCI
2001
Springer
15 years 11 months ago
Communicating X-Machines: From Theory to Practice
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...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
BMCBI
2005
94views more  BMCBI 2005»
15 years 6 months ago
Workflows in bioinformatics: meta-analysis and prototype implementation of a workflow generator
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
Alexander García Castro, Samuel Thoraval, L...
ICDAR
2011
IEEE
14 years 6 months ago
Text/Graphics Segmentation in Architectural Floor Plans
—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...
Sheraz Ahmed, Markus Weber, Marcus Liwicki, Andrea...
CDC
2009
IEEE
154views Control Systems» more  CDC 2009»
15 years 11 months ago
Structure-preserving model reduction of complex physical systems
— 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...
Arjan van der Schaft, Rostyslav V. Polyuga
TOG
2010
69views more  TOG 2010»
15 years 1 months ago
Multi-resolution isotropic strain limiting
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...
Huamin Wang, James O'Brien, Ravi Ramamoorthi