Sciweavers

7918 search results - page 160 / 1584
» Model Composition Directives
Sort
View
121
Voted
ICCV
2011
IEEE
14 years 26 days ago
Image Segmentation by Figure-Ground Composition into Maximal Cliques
We propose a mid-level statistical model for image segmentation that composes multiple figure-ground hypotheses (FG) obtained by applying constraints at different locations and s...
Adrian Ion, Joao Carreira, Cristian Sminchisescu
IEEESCC
2008
IEEE
15 years 7 months ago
Development Tool for Service-Oriented Applications in Smart Homes
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
Jianqi Yu, Philippe Lalanda, Stéphanie Chol...
99
Voted
TIME
2007
IEEE
15 years 7 months ago
Temporal Relations of Intervals with a Gap
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
Max J. Egenhofer
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 4 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
100
Voted
ICCV
2009
IEEE
2205views Computer Vision» more  ICCV 2009»
16 years 5 months ago
Video stabilization using robust feature trajectories
This paper proposes a new approach for video stabilization. Most existing video stabilization methods adopt a framework of three steps, motion estimation, motion compensation an...
Ken-Yi Lee, Yung-Yu, Chuang Bing-Yu, Chen Ming Ouh...