Sciweavers

759 search results - page 145 / 152
» Optimal Graph Search with Iterated Graph Cuts
Sort
View
ICSE
2001
IEEE-ACM
15 years 6 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
IVC
2007
114views more  IVC 2007»
15 years 1 months ago
Evaluation of a convex relaxation to a quadratic assignment matching approach for relational object views
We introduce a convex relaxation approach for the quadratic assignment problem to the field of computer vision. Due to convexity, a favourable property of this approach is the ab...
Christian Schellewald, Stefan Roth, Christoph Schn...
ICIP
2010
IEEE
14 years 11 months ago
Video retargeting: A visual-friendly dynamic programming approach
Video retargeting is the task of fitting standard-sized video into arbitrary screen. A compelling retargeting attempts to preserve most visual information of original video as wel...
Zheng Yuan, Taoran Lu, Yu Huang, Dapeng Wu, Heathe...
CVPR
2011
IEEE
14 years 11 months ago
Unsupervised Auxiliary Visual Words Discovery for Large-Scale Image Object Retrieval
Image object retrieval – locating image occurrences of specific objects in large-scale image collections – is essential for manipulating the sheer amount of photos. Current s...
Yin-Hsi Kuo, Hsuan-Tien Lin, Wen-Huang Cheng, Yi-H...
GECCO
2005
Springer
124views Optimization» more  GECCO 2005»
15 years 7 months ago
Evolving petri nets to represent metabolic pathways
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...
Jeremiah Nummela, Bryant A. Julstrom