Sciweavers

1721 search results - page 165 / 345
» The fundamentals of hybrid systems modelers
Sort
View
BIRTHDAY
2005
Springer
16 years 6 hour ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
ICRA
2010
IEEE
148views Robotics» more  ICRA 2010»
15 years 4 months ago
An integrated probabilistic model for scan-matching, moving object detection and motion estimation
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
Joop van de Ven, Fabio Ramos, Gian Diego Tipaldi
CAISE
2009
Springer
16 years 1 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
PKDD
2005
Springer
92views Data Mining» more  PKDD 2005»
15 years 12 months ago
Mining Model Trees from Spatial Data
Mining regression models from spatial data is a fundamental task in Spatial Data Mining. We propose a method, namely Mrs-SMOTI, that takes advantage from a tight-integration with s...
Donato Malerba, Michelangelo Ceci, Annalisa Appice
GMP
2000
IEEE
173views Solid Modeling» more  GMP 2000»
15 years 11 months ago
A Representation Independent Geometric Modeling Kernel
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
Alan E. Middleditch, Chris Reade, Abel J. P. Gomes