Sciweavers

3373 search results - page 264 / 675
» Linear transformations on codes
Sort
View
SCAM
2002
IEEE
15 years 9 months ago
Parallel Support for Source Code Analysis and Modification
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
Ira D. Baxter
RSP
2000
IEEE
108views Control Systems» more  RSP 2000»
15 years 9 months ago
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
Dan Marius Regep, Fabrice Kordon
JMIV
1998
106views more  JMIV 1998»
15 years 4 months ago
Linear Scale-Space Theory from Physical Principles
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
Alfons H. Salden, Bart M. ter Haar Romeny, Max A. ...
BMCBI
2011
14 years 11 months ago
Estimating developmental states of tumors and normal tissues using a linear time-ordered model
Background: Tumor cells are considered to have an aberrant cell state, and some evidence indicates different development states appearing in the tumorigenesis. Embryonic developme...
Bo Zhang, Beibei Chen, Tao Wu, Zhenyu Xuan, Xiaope...
MIA
2010
170views more  MIA 2010»
14 years 11 months ago
Linear intensity-based image registration by Markov random fields and discrete optimization
We propose a framework for intensity-based registration of images by linear transformations, based on a discrete Markov Random Field (MRF) formulation. Here, the challenge arises ...
Darko Zikic, Ben Glocker, Oliver Kutter, Martin Gr...