Sciweavers

650 search results - page 33 / 130
» Towards automatic model synchronization from model transform...
Sort
View
CDC
2009
IEEE
142views Control Systems» more  CDC 2009»
14 years 15 days ago
Towards STEM control: Modeling framework and development of a sensor for defocus control
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
Arturo Tejada, Wouter Van den Broek, Saartje W. va...
ICIP
2006
IEEE
14 years 9 months ago
Towards a Universal Multiresolution-Based Perceptual Model
Following a recently introduced perceptual model for balanced multiwavelets, we outline, in this paper, an extension of our previous work and propose a new perceptual model for sca...
Lahouari Ghouti, Ahmed Bouridane
IJON
2007
83views more  IJON 2007»
13 years 7 months ago
Neurospaces: Towards automated model partitioning for parallel computers
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
Hugo Cornelis, Erik De Schutter
SIGMOD
2009
ACM
158views Database» more  SIGMOD 2009»
14 years 8 months ago
Simplifying XML schema: effortless handling of nondeterministic regular expressions
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
Geert Jan Bex, Wouter Gelade, Wim Martens, Frank N...
COMPSAC
2003
IEEE
14 years 1 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters