4708 search results - page 688 / 942 » Generating the Structure of Argument |
167
click to vote
DCC
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper we propose a new motion compensated prediction technique that enables successful predictive encoding during fades, blended scenes, temporally decorrelated noise, and...
273
click to vote
Publication
Computer vision techniques have been applied for rapid
and accurate structure recovery in many fields. Most methods
perform poorly in areas containing little or no texture
and i...
149
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in tur...
138
click to vote
ICCD
2005
IEEE
16 years 2 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
153
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...