3792 search results - page 284 / 759 » Techniques for Trusted Software Engineering |
166
click to vote
USAB
2010
15 years 5 months ago
2010
Abstract. Scene segmentation is a crucial task in the structural analysis of film. State-of-the-art scene segmentation algorithms usually target fiction films (e.g. Hollywood ...
193
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
294
click to vote
SIAMDM
2011
15 years 1 months ago
2011
Consider a closed curve in the plane that does not intersect itself; by the Jordan-Schoenflies Theorem, it bounds a distorted disk. Now consider a closed curve that intersects its...
212
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
172
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...