5600 search results - page 314 / 1120 » Synthesizing robust systems |
170
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
194
click to vote
ECBS
2005
IEEE
16 years 8 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
163
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...
147
click to vote
VRST
2005
ACM
16 years 6 days ago
2005
ACM
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
168
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...