Sciweavers

77016 search results - page 365 / 15404
» Modeling Modeling
Sort
View
CAISE
2005
Springer
16 years 8 days ago
A MDA-Compliant Environment for Developing User Interfaces of Information Systems
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
Jean Vanderdonckt
170
Voted
GECCO
2010
Springer
182views Optimization» more  GECCO 2010»
15 years 11 months ago
Model selection in genetic programming
Abstract. We discuss the problem of model selection in Genetic Programming using the framework provided by Statistical Learning Theory, i.e. Vapnik-Chervonenkis theory (VC). We pre...
Cruz E. Borges, César Luis Alonso, Jos&eacu...
201
Voted
JMM2
2007
221views more  JMM2 2007»
15 years 6 months ago
Automatic Extraction of Femur Contours from Calibrated X-Ray Images using Statistical Information
— Automatic identification and extraction of bone contours from x-ray images is an essential first step task for further medical image analysis. In this paper we propose a 3D s...
Xiao Dong, Miguel Ángel González Bal...
WSC
2008
15 years 9 months ago
Agent-based modeling and simulation: ABMS examples
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
Charles M. Macal, Michael J. North
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 4 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
« Prev « First page 365 / 15404 Last » Next »