2032 search results - page 55 / 407 » Encodings of the Sequence Constraint |
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we explore the problem of accurately segmenting a person from a video given only approximate location of that person. Unlike previous work which assumes that the app...
ICNS
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper presents a novel theoretical framework for end-to-end video quality prediction of MPEG-based video sequences. The proposed framework encloses two discrete models: i)...
113
click to vote
JUCS
2002
14 years 11 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
ANTSW
2008
Springer
15 years 1 months ago
2008
Springer
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Rotational motion can often be seen in video. However, comparatively little research has been done to investigate rotational motions in video, whose analysis could be useful. For ...