Sciweavers

11172 search results - page 23 / 2235
» Testing Physical Systems
Sort
View
AI
2005
Springer
14 years 11 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...
ICDM
2010
IEEE
101views Data Mining» more  ICDM 2010»
14 years 9 months ago
Tru-Alarm: Trustworthiness Analysis of Sensor Networks in Cyber-Physical Systems
A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system that re...
Lu An Tang, Xiao Yu, Sangkyum Kim, Jiawei Han, Chi...
71
Voted
WSC
2008
15 years 1 months ago
Mental simulation for creating realistic behavior in physical security systems simulation
Mental simulation is proposed by cognitive psychologists as a candidate to model the human reasoning process. In this paper, we propose a methodology that models mental simulation...
Volkan Ustun, Jeffrey S. Smith
62
Voted
ICIAP
1997
ACM
15 years 3 months ago
Image Analysis and Synthesis Using Physics-Based Modeling for Pearl Quality Evaluation System
Analysis by image synthesis using CG has attracted wide attention in machine vision. This paper proposes a method ofmodeling and synthesizingpearls thatwillbe thecentraltechniqueof...
Noriko Nagata, Toshimasa Dobashi, Yoshitsugu Manab...
88
Voted
WSC
1998
15 years 13 days ago
Discrete-Event Simulation for the Design and Evaluation of Physical Protection Systems
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
Sabina E. Jordan, Mark K. Snell, Marcella M. Madse...