2673 search results - page 445 / 535 » Guided Static Analysis |
145
click to vote
3DIM
2007
IEEE
15 years 10 months ago
2007
IEEE
Modeling dynamic scenes is a challenging problem faced by applications such as digital content generation and motion analysis. Fast single-frame methods obtain sparse depth sample...
146
click to vote
AVSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the results of analysing the effect of different motion segmentation techniques in a system that transmits the information captured by a static surveillance ca...
131
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
138
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
223
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Efficient, reliable and flexible handling is still very challenging in micromanipulation and micro-assembly. In this paper, we propose an original thermally actuated gripper b...