Sciweavers

4140 search results - page 616 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
POPL
1990
ACM
15 years 10 months ago
Higher-Order Modules and the Phase Distinction
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Robert Harper, John C. Mitchell, Eugenio Moggi
CVPR
2007
IEEE
16 years 8 months ago
Metropolis-Hasting techniques for finite-element-based registration
In this paper, we focus on the design of Markov Chain Monte Carlo techniques in a statistical registration framework based on finite element basis (FE). Due to the use of FE basis...
Adeline M. M. Samson, Frédéric J. P....
SAB
2004
Springer
198views Optimization» more  SAB 2004»
15 years 11 months ago
A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
Kristina Lerman, Alcherio Martinoli, Aram Galstyan
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 6 months ago
Automatically Discovering Hidden Transformation Chaining Constraints
Abstract. Model transformations operate on models conforming to precisely defined metamodels. Consequently, it often seems relatively easy to chain them: the output of a transforma...
Raphaël Chenouard, Frédéric Jou...
IV
2006
IEEE
82views Visualization» more  IV 2006»
16 years 13 days ago
Two sides of the story: Visualising Products and Processes in Engineering Design
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...
René Keller, Tomás L. Flanagan, Clau...