C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
MSV/AMCS
2004
2004
2004
Keyphrases
Publications
2004
Martin Paradis
,
Sylvain Delisle
Modelling the Mathematical Behaviour of a Computerized Hierarchical Questionnaire.
MSV/AMCS
(2004)
Ulisses Ferreira
On Turing's Proof of the Undecidability of the Halting Problem.
MSV/AMCS
(2004)
Yoshinori Shigeta
,
Kiyoshi Akama
,
Pongtawat Chippimolchai
,
Takahiko Ishikawa
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.
MSV/AMCS
(2004)
Ahmad S. Hindawi
,
Iyad A. Ajwa
AFKAR: A Logo Turtle Educational Tool.
MSV/AMCS
(2004)
Jiazhong Qian
,
Yong Liu
,
Xiaoguang Ge
,
Jiaquan Wang
An Assessment Model on AHP for Water Environmental Health Risk Analysis.
MSV/AMCS
(2004)
Charlie Obimbo
,
Stephen Doxsee
The Threat of a Deterministic Polynomial Time Algorithm for Primality Testing in Applied Cryptography.
MSV/AMCS
(2004)
Sriprakash Sarathy
,
Sarah M. North
,
Roy George
,
Max M. North
Preparing for the Soldier for a Technological Battlefield.
MSV/AMCS
(2004)
Jiang Guo
,
Vladimir Akis
dA New Matrix Transpose Method.
MSV/AMCS
(2004)
Houssain Kettani
On the Conversion between Number Systems.
MSV/AMCS
(2004)
Konstantin V. Shvachko
S(b)-Trees: An Optimal Balancing of Variable Length Keys.
MSV/AMCS
(2004)
Xiaoping Shen
An Algorithm for Removing Artifacts in Wavelet Expansions.
MSV/AMCS
(2004)
Ijeoma Sandra Irobi
,
Johan Andersson
,
Anders Wall
Correctness Criteria for Models' Validation- A Philosophical Perspective.
MSV/AMCS
(2004)
Aleksey M. Urmanov
,
Anton Bougaev
,
K. Gross
,
Andrei V. Gribok
Support Configuration Framework for Analyzing Complex Networks of Entities.
MSV/AMCS
(2004)
S. Mukherhjee
An Efficient Distributed Deadlock Modelling Tool Using High-Level Net.
MSV/AMCS
(2004)
Vijay Gehlot
Timed Petri Nets, Linear Logic, and Performance Modeling.
MSV/AMCS
(2004)
Massoud Bazargan
Integration of Small Aircraft Transportation Systems (SATS ) with General Aviation(GA) - An Operational Feasibility Study.
MSV/AMCS
(2004)
Zbigniew R. Bogdanowicz
,
Norman P. Coleman
Efficient Methodology and Robust Infrastructure for Assigning Weapons to Targets.
MSV/AMCS
(2004)
Wenguo Wei
,
Ling Zhang
,
Shoubin Dong
,
Bolian Liu
On Two Problems of w-Wide Distance and (w-1)-Fault Distance, w-Wide Diameter ad (w-1)-Fault Diameter.
MSV/AMCS
(2004)
Helen Boussalis
,
Charles Liu
,
Jane Dong
,
Khosrow Rad
,
Catherine Alpas
,
Yulu Chen
,
Yeva Komandyan
,
Xiaoqiang Ren
,
Wie Sun
Integrated 3-D Animation System for Decentralized Controlled Space Telescope Test-bed.
MSV/AMCS
(2004)
Anuj R. Shah
,
Karl J. Castleton
,
Bonnie L. Hoopes
Framework for Risk Analysis in Multimedia Environmental Systems: Modeling Individual Steps of a Risk Analysis Process.
MSV/AMCS
(2004)
Shahram Rahimi
,
Namdar Mogharreban
,
Raheel Ahmad
The First Stage of a System Verification Strategy for API-Calculus.
MSV/AMCS
(2004)
Charles Otwell
,
Anja Remshagen
,
Klaus Truemper
An Effective QBF Solver for Planning Problems.
MSV/AMCS
(2004)
Clifton G. M. Presser
A Database Schema for Constructing Visual Queries.
MSV/AMCS
(2004)
Antonio Jimeno-Morenilla
,
Francisco Maciá Pérez
,
Juan Manuel García Chamizo
Trajectory-based Morphological Operators: A Morphological Model for Tool Path Computation.
MSV/AMCS
(2004)
Ying Zhu
Efficient Asynchronous Terrain Paging for Interactive Visual Simulation.
MSV/AMCS
(2004)
Ashraf M. Ghaly
,
Michael Losure
Deployment of Modeling and Simulation Techniques to Facilitate Visualization of Complex Structures.
MSV/AMCS
(2004)
Armando Astarloa
,
Jesús Lázaro
,
Jagoba Arias
,
Unai Bidarte
,
Aitzol Zuloaga
Co-simulation Virtual Platform for Reconfigurable Multiprocessor Hybrid Cores Development.
MSV/AMCS
(2004)
Kaninda Musumbu
Simulator Design for Security Systems.
MSV/AMCS
(2004)
George A. Gravvanis
,
Konstantinos M. Giannoutakis
Normalized Isomorphic Preconditioned Methods for Solving Sparse Non-Linear Systems.
MSV/AMCS
(2004)
G. H. Turner
On the Asymptotic Stability of Systems of Differential Equations with Piecewise Constant Arguments.
MSV/AMCS
(2004)
Mohammad A. K. Alia
,
Mohammad K. Abu Zalata
Computer Based Dc Motor Speed Control by Using LabVIEW Software.
MSV/AMCS
(2004)
Gabriel A. Wainer
,
Norbert Giambiasi
Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS.
MSV/AMCS
(2004)
Oktay Alkin
Speed and Efficiency Considerations in the Calculation of Planning Target Volumes (PTV) in Radiation Therapy Planning.
MSV/AMCS
(2004)
A. Damoni
,
D. Mukherjee
Interactive Device Modelling Using Virtual Modelling Language.
MSV/AMCS
(2004)
Henry Thompson
,
Ahmet Ugur
Fast Computation of Factorials of Numbers.
MSV/AMCS
(2004)
Dusko D. Dincov
Computational Analysis of Microwave Heating in Single and Multi-Mode Resonant Cavities.
MSV/AMCS
(2004)
S. Srivanasont
,
A. Surarerks
Modified Continuous Valued Number System.
MSV/AMCS
(2004)
Jason A. Pamplin
,
Ying Zhu
Design and Implementation of a Workflow Rendering Engine.
MSV/AMCS
(2004)
Itaru Takarajima
,
Kiyoshi Akama
,
Yoshinori Shigeta
,
Ikumi Imani
On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model.
MSV/AMCS
(2004)
Tomasz Müldner
,
Elhadi M. Shakshuki
On Visualization and Implementation of Algorithms.
MSV/AMCS
(2004)
Angelo Chianese
,
Vincenzo Moscato
,
Antonio Picariello
,
Antonio Maria Rinaldi
An Architecture for the Integration of Multimedia Heterogeneous Data Sources.
MSV/AMCS
(2004)
Proceedings of the International Conference on Modeling, Simulation & Visualization Methods, MSV '04 & Proceedings of the International Conference on Algorithmic Mathematics & Computer Science, AMCS '04, June 21-24, 2004, Las Vegas, Nevada, USA
MSV/AMCS
(2004)
László Keviczky
,
Csilla Bányász
Combined Modeling and Control Using a GTDOF Scheme.
MSV/AMCS
(2004)
Honjun Jeon
,
Min-Hyung Choi
,
Min Hong
Numerical Stability and Convergence Analysis of Geometric Constraint Enforcement in Dynamic Simulation Systems.
MSV/AMCS
(2004)
Franco Cicirelli
,
Angelo Furfaro
,
Libero Nigro
,
Francesco Pupo
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell.
MSV/AMCS
(2004)
Lihua Zhou
,
Wan-Chen Wu
,
Mandayam A. Srinivasan
Establishment and Validation of a Finite Element Model of Human Fingertip.
MSV/AMCS
(2004)
Yung H. Tsin
An Efficient Distributed Algorithm for Ear Decomposition.
MSV/AMCS
(2004)
Manju G.
,
Sumam Mary Idicula
,
S. David Peter
Distributed Interactive Simulation Using Multimodal Interfaces - An Experience.
MSV/AMCS
(2004)
Christopher A. Brown
,
Georgios A. Demetriou
,
Louise Perkins
Geolocating Marine Buoys in a Fully Immersive Three Dimensional Environment.
MSV/AMCS
(2004)
Jianjun Zhai
,
Wenliang Chen
,
Xiaoping Yan
The Implementation of Dynamic Engineering Document Based on XML Technology.
MSV/AMCS
(2004)