Sciweavers

2316 search results - page 2 / 464
» The many forms of hypercomputation
Sort
View
CIE
2007
Springer
13 years 11 months ago
From Logic to Physics: How the Meaning of Computation Changed over Time
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
Itamar Pitowsky
JSC
2011
100views more  JSC 2011»
12 years 8 months ago
Toric forms of elliptic curves and their arithmetic
We scan a large class of one-parameter families of elliptic curves for efficient arithmetic. The construction of the class is inspired by toric geometry, which provides a natural ...
Wouter Castryck, Frederik Vercauteren
SISAP
2010
IEEE
243views Data Mining» more  SISAP 2010»
13 years 3 months ago
Similarity matrix compression for efficient signature quadratic form distance computation
Determining similarities among multimedia objects is a fundamental task in many content-based retrieval, analysis, mining, and exploration applications. Among state-of-the-art sim...
Christian Beecks, Merih Seran Uysal, Thomas Seidl
SIAMMAX
2011
92views more  SIAMMAX 2011»
12 years 8 months ago
A Condition for Convexity of a Product of Positive Definite Quadratic Forms
A sufficient condition for the convexity of a finite product of positive definite quadratic forms is given in terms of the condition numbers of the underlying matrices. When only...
Minghua Lin, Gord Sinnamon
QEST
2010
IEEE
13 years 3 months ago
Canonical Form Based MAP(2) Fitting
The importance of the order two Markovian arrival process (MAP(2)) comes from its compactness, serving either as arrival or service process in applications, and from the nice prope...
Levente Bodrog, Peter Buchholz, Jan Kriege, Mikl&o...