Sciweavers

7092 search results - page 511 / 1419
» Parallelizing constraint programs
Sort
View
MP
2011
14 years 11 months ago
Lifting for conic mixed-integer programming
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very eļ¬...
Alper Atamtürk, Vishnu Narayanan
ICMCS
2006
IEEE
127views Multimedia» more  ICMCS 2006»
15 years 10 months 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
15 years 10 months 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
131
Voted
VLDB
1990
ACM
116views Database» more  VLDB 1990»
15 years 8 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
159
Voted
ACML
2009
Springer
15 years 8 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