7167 search results - page 85 / 1434 » A Technique for Invariant Generation |
149
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
One of the main obstacles in integrating 3D volume visualization in the clinical workflow is the time-consuming process of adjusting parameters such as viewpoint, transfer functio...
168
click to vote
AVSS
2007
IEEE
16 years 16 days 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...
157
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
176
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
179
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...