Sciweavers

196 search results - page 34 / 40
» A finite set of functions with an EXPTIME-complete compositi...
Sort
View
CAISE
2004
Springer
15 years 2 months ago
MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
Jernej Kovse, Theo Härder
104
Voted
ISBI
2009
IEEE
15 years 4 months ago
Structural Annotation of EM Images by Graph Cut
Biological images have the potential to reveal complex signatures that may not be amenable to morphological modeling in terms of shape, location, texture, and color. An effective ...
Hang Chang, Manfred Auer, Bahram Parvin
JNS
2007
68views more  JNS 2007»
14 years 9 months ago
Single Droplet Pattern in the Cylindrical Phase of Diblock Copolymer Morphology
The Ohta-Kawasaki density functional theory of diblock copolymers gives rise to a nonlocal free boundary problem. Under a proper condition between the block composition fraction a...
X. Ren, J. Wei
MP
2008
99views more  MP 2008»
14 years 9 months ago
Efficient robust optimization for robust control with constraints
This paper proposes an efficient computational technique for the optimal control of linear discrete-time systems subject to bounded disturbances with mixed polytopic constraints o...
Paul J. Goulart, Eric C. Kerrigan, Daniel Ralph
JSCIC
2006
81views more  JSCIC 2006»
14 years 9 months ago
An Improvement of a Recent Eulerian Method for Solving PDEs on General Geometries
We improve upon a method introduced in (Bertalmio et. al. JCP 2001) for solving evolution PDEs on codimension-one surfaces in RN. As in the original method, by representing the su...
John B. Greer