6608 search results - page 1041 / 1322 » On the Completeness of Model Checking |
200
click to vote
CW
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper proposes a keyframe-based video object editing scheme for automatic object shape deformation. Except for object segmentation, several technologies are developed in th...
189
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Image gradients form powerful cues in a host of vision and graphics applications. In this paper, we consider multiple views of a textured planar scene and consider the problem of ...
161
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Large-scale digitization projects aimed at periodicals often have as input streams of completely unlabeled document images. In such situations, the results produced by the automat...
177
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
In the DEZENT1 project we had established a distributed base model for negotiating electric power from widely distributed (renewable) power sources on multiple levels in successio...
202
Voted
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...