Sciweavers

4385 search results - page 497 / 877
» Abstraction for Concurrent Objects
Sort
View
ECCTD
2011
68views more  ECCTD 2011»
14 years 6 months ago
An ontology for constraints in custom IC design
Abstract—The design of integrated circuits involves the consideration of a large number of constraints of various types. In addition to the definition of these constraints in a ...
Andreas Krinke, Jens Lienig
CORR
2011
Springer
173views Education» more  CORR 2011»
15 years 1 months ago
Exploiting symmetries in SDP-relaxations for polynomial optimization
Abstract. We consider the issue of exploiting symmetries in the hierarchy of semidefinite programming relaxations recently introduced in polynomial optimization. We focus on probl...
Cordian Riener, Thorsten Theobald, Lina Jansson An...
CVPR
2009
IEEE
17 years 2 months ago
Towards Total Scene Understanding: Classification, Annotation and Segmentation in an Automatic Framework
Given an image, we propose a hierarchical generative model that classifies the overall scene, recognizes and segments each object component, as well as annotates the image with ...
Fei-Fei Li 0002, Li-Jia Li, Richard Socher
ECCV
2008
Springer
16 years 8 months ago
Feature Correspondence Via Graph Matching: Models and Global Optimization
Abstract. In this paper we present a new approach for establishing correspondences between sparse image features related by an unknown non-rigid mapping and corrupted by clutter an...
Lorenzo Torresani, Vladimir Kolmogorov, Carsten Ro...
ECCV
2008
Springer
16 years 8 months ago
Movie/Script: Alignment and Parsing of Video and Text Transcription
Abstract. Movies and TV are a rich source of diverse and complex video of people, objects, actions and locales "in the wild". Harvesting automatically labeled sequences o...
Timothee Cour, Chris Jordan, Eleni Miltsakaki, Ben...