Sciweavers

415 search results - page 13 / 83
» Workspace Analysis of the Orthoglide using Interval Analysis
Sort
View
FM
2003
Springer
139views Formal Methods» more  FM 2003»
14 years 26 days ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
EOR
2006
66views more  EOR 2006»
13 years 7 months ago
Using intervals for global sensitivity and worst-case analyses in multiattribute value trees
Sensitivity analyses have long been used to assess the impacts of uncertainties on outcomes of decision models. Several approaches have been suggested, but it has been problematic...
Jyri Mustajoki, Raimo P. Hämäläinen...
ICCV
2003
IEEE
14 years 9 months ago
Globally Convergent Autocalibration
Existing autocalibration techniques use numerical optimization algorithms that are prone to the problem of local minima. To address this problem, we have developed a method where ...
Arrigo Benedetti, Alessandro Busti, Michela Farenz...
PERCOM
2006
ACM
14 years 7 months ago
Analysis of Appropriate Timing for Information Notification Based on Indoor User's Location Transition
The purpose of this study was to explore the convenient timing for information notification of the users in their daily life. Using the location and the time interval since a loca...
Vlaho Kostov, Takashi Tajima, Eiichi Naito, Jun Oz...
SAC
2009
ACM
14 years 2 months ago
Topology determination and isolation for implicit plane curves
A method is proposed to generate an isolation for a plane curve, which is a set of boxes covering the curve, having the same topology as the curve, and approximating the curve to a...
Jin-San Cheng, Xiao-Shan Gao, Jia Li