Sciweavers

1054 search results - page 138 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
ADVIS
2006
Springer
15 years 8 months ago
Validation of XML Documents: From UML Models to XML Schemas and XSLT Stylesheets
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
AAAI
2000
15 years 3 months ago
Applying Learnable Evolution Model to Heat Exchanger Design
A new approach to evolutionary computation, called Learnable Evolution Model (LEM), has been applied to the problem of optimizing tube structures of heat exchangers. In contrast t...
Kenneth A. Kaufman, Ryszard S. Michalski
DAGM
2005
Springer
15 years 7 months ago
Vision-Based 3D Object Localization Using Probabilistic Models of Appearance
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
Christian Plagemann, Thomas Müller, Wolfram B...
ENVSOFT
2010
161views more  ENVSOFT 2010»
15 years 2 months ago
Graphical user interface for rapid set-up of SHETRAN physically-based river catchment model
The SHETRAN physically-based distributed rainfall-runoff modelling system gives detailed simulations in time and space of water flow and sediment and solute transport in river cat...
Stephen J. Birkinshaw, Philip James, John Ewen
SOSYM
2010
176views more  SOSYM 2010»
15 years 10 days ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...