Sciweavers

2974 search results - page 237 / 595
» Model-Driven Constraint Programming
Sort
View
ICMCS
2006
IEEE
127views Multimedia» more  ICMCS 2006»
16 years 18 days ago
Broadcast Video Program Summarization using Face Tracks
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...
Kadir A. Peker, Isao Otsuka, Ajay Divakaran
ISSTA
2006
ACM
16 years 15 days ago
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
Rahul Agarwal, Scott D. Stoller
VLDB
1990
ACM
116views Database» more  VLDB 1990»
15 years 10 months ago
Factoring Augmented Regular Chain Programs
In previous papers we have proposed a graphical query language for expressing traversal recursions in labelled, directed graphs. A fundamental feature of the language is the use o...
Peter T. Wood
ACML
2009
Springer
15 years 10 months ago
Max-margin Multiple-Instance Learning via Semidefinite Programming
In this paper, we present a novel semidefinite programming approach for multiple-instance learning. We first formulate the multipleinstance learning as a combinatorial maximum marg...
Yuhong Guo
ESA
2006
Springer
131views Algorithms» more  ESA 2006»
15 years 10 months ago
Finding Total Unimodularity in Optimization Problems Solved by Linear Programs
A popular approach in combinatorial optimization is to model problems as integer linear programs. Ideally, the relaxed linear program would have only integer solutions, which happ...
Christoph Dürr, Mathilde Hurand