3441 search results - page 210 / 689 » Intelligent Computation of Presentation Documents |
171
click to vote
EICS
2010
ACM
16 years 7 days ago
2010
ACM
Paper remains a prevalent medium in mobile usage contexts due to its inherent flexibility and robustness. Mobile computing solutions begin to provide powerful and convenient func...
185
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We present an inexpensive, interactive ubiquitous computing system that supports information presentation on demand using a novel "card reading" interaction style. We�...
190
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
We present a new method for generic quantifier elimination that uses an extension of Hermitian quantifier elimination. By means of sample computations we show that this generic Her...
175
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extract...
184
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents an approach to the joint optimization of neural network structure and weights which can take advantage of backpropagation as a specialized decoder. The approach...