Sciweavers

235 search results - page 4 / 47
» Using simulation in the implementation of an Outpatient Proc...
Sort
View
ICARCV
2006
IEEE
125views Robotics» more  ICARCV 2006»
15 years 5 months ago
Online Center of Gravity Estimation in Automotive Vehicles using Multiple Models and Switching
— In this paper we present a methodology based on multiple models and switching for realtime estimation of center of gravity (CG) position in automotive vehicles. The method util...
Selim Solmaz, Mehmet Akar, Robert Shorten
VLUDS
2010
225views Visualization» more  VLUDS 2010»
14 years 6 months ago
Visualization in Human-Centered Virtual Factories
In a manufacturing system (MS), a wide range of human activities are applied in production processes. The human factor plays a core role and should be incorporated into the design...
Xiang Yang, Eduard Deines, Jan C. Aurich
107
Voted
PCRCW
1997
Springer
15 years 3 months ago
ChaosLAN: Design and Implementation of a Gigabit LAN Using Chaotic Routing
In recent years, theChaos Project at theUniversityofWashingtonhas analyzed and simulated a dozen routing algorithms. Three new routing algorithms have been invented; of these, the...
Neil R. McKenzie, Kevin Bolding, Carl Ebeling, Law...
FLAIRS
2001
15 years 1 months ago
Current Level of Mission Control Automation at NASA Goddard Space Flight Center
NASAis particularly concerned with reducing mission operations costs through increased automation. Specifically, NASAhas been studying the use of Artificial Intelligence (AI) to f...
Lori Maks, Julie Breed, Michael Rackley
96
Voted
PADL
2004
Springer
15 years 5 months ago
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
Chiyan Chen, Dengping Zhu, Hongwei Xi