13603 search results - page 385 / 2721 » On the Computational Complexity of Cut-Reduction |
193
Voted
ANTS
2004
Springer
16 years 1 months ago
2004
Springer
On the lines of the binary gcd algorithm for rational integers, algorithms for computing the gcd are presented for the ring of integers in Q( √ d) where d ∈ {−2, −7, −11,...
211
Voted
FTDCS
2003
IEEE
16 years 26 days ago
2003
IEEE
The global information service in the Internet is a heterogeneous and rapidly evolving environment. Constantly, new information services are added, others are modified, removed or...
209
Voted
BIRTHDAY
2003
Springer
16 years 25 days ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
190
Voted
SIGGRAPH
2010
ACM
16 years 2 days ago
2010
ACM
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...
182
click to vote
VLSID
2007
IEEE
16 years 8 months ago
2007
IEEE
? We give a new recursive rounding linear programming (LP) solution to the problem of N-detect test minimzation. This is a polynomialtime solution that closely approximates the exa...