110 search results - page 13 / 22 » Computational Considerations in Correcting User-Language |
AUIC
2004
IEEE
13 years 10 months ago
2004
IEEE
Researchers in Single Display Groupware (SDG) explore how multiple users share a single display such as a computer monitor, a large wall display, or an electronic tabletop display...
VLSID
2002
IEEE
14 years 7 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...
SAT
2009
Springer
14 years 1 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Identification of the correct number of clusters and the corresponding partitioning are two important considerations in clustering. In this paper, a newly developed point symme...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents an efficient joint source-channel coding scheme based on forward error correction (FEC) for three dimensional (3D) models. The system employs a wavelet based ...