Sciweavers

5647 search results - page 947 / 1130
» A word from the editor
Sort
View
JSS
2010
120views more  JSS 2010»
15 years 1 months ago
A family of languages for architecture constraint specification
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
Chouki Tibermacine, Régis Fleurquin, Salah ...
JUCS
2010
108views more  JUCS 2010»
15 years 1 months ago
Extending the Methods for Computing the Importance of Entity Types in Large Conceptual Schemas
: Visualizing and understanding large conceptual schemas requires the use of specific methods. These methods generate clustered, summarized, or focused schemas that are easier to v...
Antonio Villegas, Antoni Olivé
MCM
2010
15 years 1 months ago
Electromagnetic interrogation and the Doppler shift using the method of mappings
We consider the electromagnetic detection of hidden moving or oscillating conductive targets. The resulting mathematical problem involves computation of a Doppler shift for an ele...
H. T. Banks, Shuhua Hu, W. Clayton Thompson
MIA
2010
104views more  MIA 2010»
15 years 1 months ago
Combining atlas based segmentation and intensity classification with nearest neighbor transform and accuracy weighted vote
In this paper, different methods to improve atlas based segmentation are presented. The first technique is a new mapping of the labels of an atlas consistent with a given intensit...
Michaël Sdika
MMAS
2010
Springer
15 years 1 months ago
Balanced Truncation of Linear Second-Order Systems: A Hamiltonian Approach
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
Carsten Hartmann, Valentina-Mira Vulcanov, Christo...