886 search results - page 100 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
112
click to vote
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Automatic management of large-scale production systems requires a continuous monitoring service to keep track of the states of the managed system. However, it is challenging to ac...
PAMI
2002
14 years 9 months ago
2002
In this paper, we develop a novel method for view-based recognition of human action/activity from videos. By observing just a few frames, we can identify the activity that takes pl...
ECCV
2002
Springer
15 years 12 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
ISMIR
2004
Springer
15 years 3 months ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...