Sciweavers

3605 search results - page 17 / 721
» Analysis and Applications of the XDI model
Sort
View
114
Voted
MR
2007
173views Robotics» more  MR 2007»
14 years 12 months ago
A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
Peter A. Sandborn, Chris Wilkinson
128
Voted
CONCUR
1997
Springer
15 years 4 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
CVPR
2007
IEEE
16 years 2 months ago
Automated Individualization of Deformable Eye Region Model and Its Application to Eye Motion Analysis
This paper proposes a method of automated individualization of eye region model. The eye region model has been proposed in past research that parameterizes both the structure and ...
Tsuyoshi Moriyama, Takeo Kanade
82
Voted
SC
2004
ACM
15 years 5 months ago
Analysis and Performance Results of a Molecular Modeling Application on Merrimac
The Merrimac supercomputer uses stream processors and a highradix network to achieve high performance at low cost and low power. The stream architecture matches the capabilities o...
Mattan Erez, Jung Ho Ahn, Ankit Garg, William J. D...
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
15 years 7 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...