Sciweavers

2485 search results - page 77 / 497
» Enabling Simulation Interoperability
Sort
View
AEI
2007
52views more  AEI 2007»
14 years 10 months ago
A language for functional interpretation of model based simulation
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
Jonathan Bell, Neal Snooke, Chris Price
TARK
2007
Springer
15 years 4 months ago
A normal simulation of coalition logic and an epistemic extension
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
Jan Broersen, Andreas Herzig, Nicolas Troquard
MICCAI
2005
Springer
15 years 10 months ago
Bone Enhancement Filtering: Application to Sinus Bone Segmentation and Simulation of Pituitary Surgery
We present a novel multi-scale bone enhancement measure that can be used to drive a geometric flow to segment bone structures. This measure has the essential properties to be incor...
Maxime Descoteaux, Michel A. Audette, Kiyoyuki Chi...
ISVC
2007
Springer
15 years 4 months ago
Simulation of Flexible Tubes in VR
Abstract. We present a Virtual Reality application enabling interactive, physically correct simulation of tube-like flexible objects. Our objective was to describe flexible objec...
Florian Mannuß, André Hinkenjann, Ger...
CIRA
2007
IEEE
152views Robotics» more  CIRA 2007»
15 years 4 months ago
Co-Evolution of Sensor Morphology and Control on a Simulated Legged Robot
— This paper discusses utilizing genetic algorithms to automatically design a suitable sensor morphology and controller for a given task in categories of environments. The type o...
Gary B. Parker, Pramod J. Nathan