1730 search results - page 197 / 346 » Shimura Curve Computations |
170
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
192
click to vote
COMPGEOM
2009
ACM
15 years 11 months ago
2009
ACM
We demonstrate how the scale axis transform can be used to compute a parameterized family of shape skeletons. The skeletons gradually represent only the most important features of...
231
click to vote
ICSE
2007
IEEE-ACM
16 years 19 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
169
click to vote
CSDA
2006
15 years 6 months ago
2006
We explore different approaches for performing hypothesis tests on the shape of a mean function by developing general methodologies both, for the often assumed, i.i.d. error struc...
166
click to vote
ICIP
1997
IEEE
15 years 10 months ago
1997
IEEE
In fractal image compression a partitioning of the image into ranges is required. In our previous work [1] we have proposed to find good partitionings by means of a split-andmerg...