2381 search results - page 386 / 477 » On Ordering Descriptions in a Description Logic |
108
click to vote
KDD
2002
ACM
16 years 2 months ago
2002
ACM
Several domain specific approaches for sports video management have shown the benefits of integrating low- and high- level video contents in supporting more robust retrieval. Howev...
123
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
102
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
If motion estimation can choose the most suitable algorithm according to the changing characteristics of input image signals, we can get benefits, which improve quality and perfor...
110
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
With device counts on modern-day ASICs crossing the 10 million mark, careful planning of an ASIC design project is necessary to meet time deadlines. Two problems arise in this con...
STOC
2002
ACM
16 years 2 months ago
2002
ACM
The notion of efficient computation is usually identified in cryptography and complexity with (strict) probabilistic polynomial time. However, until recently, in order to obtain c...