Sciweavers

2374 search results - page 265 / 475
» Automatic Generation of Model Translations
Sort
View
FUZZIEEE
2007
IEEE
16 years 27 days ago
Towards Fuzzy Compositional Modelling
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
Xin Fu, Qiang Shen, Ruiqing Zhao
3DPVT
2006
IEEE
211views Visualization» more  3DPVT 2006»
16 years 19 days ago
Integrating LiDAR, Aerial Image and Ground Images for Complete Urban Building Modeling
This paper presents a hybrid modeling system that fuses LiDAR data, an aerial image and ground view images for rapid creation of accurate building models. Outlines for complex bui...
Jinhui Hu, Suya You, Ulrich Neumann
ICFEM
2009
Springer
15 years 4 months ago
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Hu...
MICCAI
2002
Springer
16 years 7 months ago
Simulation of the Exophthalmia Reduction Using a Finite Element Model of the Orbital Soft Tissues
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
Vincent Luboz, Annaig Pedrono, Pascal Swider, Fran...
SIGIR
2010
ACM
15 years 10 months ago
Supervised query modeling using wikipedia
We use Wikipedia articles to semantically inform the generation of query models. To this end, we apply supervised machine learning to automatically link queries to Wikipedia artic...
Edgar Meij, Maarten de Rijke