3082 search results - page 242 / 617 » Deviation Analysis: A New Use of Model Checking |
140
click to vote
IJFCS
2008
15 years 6 months ago
2008
Hidden Markov models (HMMs) are effective tools to detect series of statistically homogeneous structures, but they are not well suited to analyse complex structures. Numerous meth...
201
click to vote
VMV
2003
15 years 7 months ago
2003
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
126
click to vote
WSC
2008
15 years 8 months ago
2008
Life cycle cost is an essential approach to decide on alternative rehabilitation strategies for infrastructure systems. Monte Carlo simulation approach is used to develop a stocha...
181
click to vote
ICRA
2008
IEEE
16 years 29 days ago
2008
IEEE
For complex robotic tasks (manipulation, locomotion, haptics, ...), the lack of knowledge of precise interaction models, the difficulties to precisely measure the task associated ...
183
click to vote
ACL
2009
15 years 4 months ago
2009
This paper presents a predicate-argument structure analysis that simultaneously conducts zero-anaphora resolution. By adding noun phrases as candidate arguments that are not only ...