5232 search results - page 212 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
178
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...
151
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a framework for introducing visually smooth surfaces into sketch-based freeform modeling systems. An existing sketch-based freeform modeling system generates ...
182
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
178
click to vote
COOPIS
1998
IEEE
15 years 10 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
197
click to vote
PTS
1998
15 years 7 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...