Sciweavers

2032 search results - page 356 / 407
» Encodings of the Sequence Constraint
Sort
View
ICMCS
2005
IEEE
208views Multimedia» more  ICMCS 2005»
15 years 11 months ago
Flat-Region Detection and False Contour Removal in the Digital TV Display
Bit-depth reduction in digital displays results in false contours in the image. Moreover some of video enhancement processing in the digital TV display, such as histogram equaliza...
Wonseok Ahn, Jae-Seung Kim
160
Voted
ATAL
2005
Springer
15 years 11 months ago
Formalizing and achieving multiparty agreements via commitments
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
Feng Wan, Munindar P. Singh
BIRTHDAY
2005
Springer
15 years 11 months ago
Expander2
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
Peter Padawitz
VLDB
2005
ACM
140views Database» more  VLDB 2005»
15 years 11 months ago
Complex Spatio-Temporal Pattern Queries
This paper introduces a novel type of query, what we name Spatio-temporal Pattern Queries (STP). Such a query specifies a spatiotemporal pattern as a sequence of distinct spatial...
Marios Hadjieleftheriou, George Kollios, Petko Bak...
VLSM
2005
Springer
15 years 11 months ago
A Study of Non-smooth Convex Flow Decomposition
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
Jing Yuan, Christoph Schnörr, Gabriele Steidl...