13603 search results - page 256 / 2721 » On the Computational Complexity of Cut-Reduction |
206
click to vote
JMLR
2010
15 years 1 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
197
click to vote
COMPGEOM
1997
ACM
15 years 11 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
209
click to vote
AIHC
2007
Springer
15 years 10 months ago
2007
Springer
Many people believe that emotions and subjective feelings are one and the same and that a goal of human-centered computing is emotion recognition. The first belief is outdated; the...
176
click to vote
EXPCS
2007
15 years 10 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
185
click to vote
BCS
2008
15 years 8 months ago
2008
: There is a rich literature of approaches to image feature extraction in computer vision. Many sophisticated approaches exist for low- and high-level feature extraction but can be...