2501 search results - page 120 / 501 » Obligations and Their Interaction with Programs |
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a novel video summarization and skimming technique using face detection on broadcast video programs. We take the faces in video as our primary target as they constitute...
CSMR
2005
IEEE
14 years 2 months ago
2005
IEEE
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
SIGCSE
2000
ACM
14 years 1 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
ICFP
1999
ACM
14 years 1 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
CAV
2010
Springer
14 years 25 days ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...