Sciweavers

86 search results - page 8 / 18
» On the complexity of optimization over the standard simplex
Sort
View
ACCV
2009
Springer
15 years 6 months ago
Iterated Graph Cuts for Image Segmentation
Graph cuts based interactive segmentation has become very popular over the last decade. In standard graph cuts, the extraction of foreground object in a complex background often le...
Bo Peng, Lei Zhang, Jian Yang
HYBRID
2009
Springer
15 years 6 months ago
Decompositional Construction of Lyapunov Functions for Hybrid Systems
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
Jens Oehlerking, Oliver E. Theel
BDA
2007
15 years 1 months ago
Pattern by Example: type-driven visual programming of XML queries
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
Véronique Benzaken, Giuseppe Castagna, Dari...
CP
2008
Springer
15 years 1 months ago
An Application of Constraint Programming to Superblock Instruction Scheduling
Modern computer architectures have complex features that can only be fully taken advantage of if the compiler schedules the compiled code. A standard region of code for scheduling ...
Abid M. Malik, Michael Chase, Tyrel Russell, Peter...
PVLDB
2008
100views more  PVLDB 2008»
14 years 11 months ago
Efficiently approximating query optimizer plan diagrams
Given a parametrized n-dimensional SQL query template and a choice of query optimizer, a plan diagram is a color-coded pictorial enumeration of the execution plan choices of the o...
Atreyee Dey, Sourjya Bhaumik, Harish D., Jayant R....