2200 search results - page 132 / 440 » Bloch's Constant is Computable |
150
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
149
click to vote
DEXAW
2008
IEEE
16 years 28 days ago
2008
IEEE
– We describe a method to extract content text from diverse Web pages by using the HTML document’s Text-to-Tag Ratio rather than specific HTML cues that may not be constant acr...
130
click to vote
ISVC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present a Virtual Reality application enabling interactive, physically correct simulation of tube-like flexible objects. Our objective was to describe flexible objec...
180
click to vote
CHES
2005
Springer
16 years 3 hour ago
2005
Springer
The Truncated Multiplication computes a truncated product, a contiguous subsequence of the digits of the product of 2 integers. A few truncated polynomial multiplication algorithms...
191
click to vote
COCOON
2005
Springer
16 years 1 hour ago
2005
Springer
For a bounded integer , we wish to color all edges of a graph G so that any two edges within distance have different colors. Such a coloring is called a distance-edge-coloring or ...