Sciweavers

2370 search results - page 71 / 474
» A Framework for the Simulation Experimentation Process
Sort
View
ICRA
2006
IEEE
95views Robotics» more  ICRA 2006»
15 years 3 months ago
Numerical Simulations and Lab Tests for Design of MR-compatible Robots
— A numerical simulation of the magnetic field in the imaging volume of a magnetic resonance imaging (MRI) scanner and a method for quick searches for electromagnetic noise sour...
Kiyoyuki Chinzei, Kiyoshi Yoshinaka, Toshikatsu Wa...
FDL
2003
IEEE
15 years 3 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
SERP
2004
14 years 11 months ago
A Petri Net Based Software Architecture for UAV Simulation
This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling...
Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E....
WSC
2000
14 years 11 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...
PVLDB
2010
98views more  PVLDB 2010»
14 years 8 months ago
On-the-Fly Entity-Aware Query Processing in the Presence of Linkage
Entity linkage is central to almost every data integration and data cleaning scenario. Traditional techniques use some computed similarity among data structure to perform merges a...
Ekaterini Ioannou, Wolfgang Nejdl, Claudia Nieder&...