Sciweavers

3299 search results - page 222 / 660
» A general mathematics of names
Sort
View
TCS
2008
15 years 6 months ago
Static space-times naturally lead to quasi-pseudometrics
The standard 4-dimensional Minkowski space-time of special relativity is based on the 3-dimensional Euclidean metric. In 1967, H. Busemann showed that similar static space-time mo...
Hans-Peter A. Künzi, Vladik Kreinovich
SIAMJO
2008
136views more  SIAMJO 2008»
15 years 6 months ago
Relaxed Alternating Projection Methods
Let A and B be nonempty, convex and closed subsets of a Hilbert space H. In the practical considerations we need to find an element of the intersection A B or, more general, to s...
Andrzej Cegielski, Agnieszka Suchocka
WRLA
2010
15 years 5 months ago
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
Francisco Durán, José Meseguer
CORR
2011
Springer
160views Education» more  CORR 2011»
15 years 1 months ago
When is social computation better than the sum of its parts?
good solutions to complex problems. In many examples, individuals trying to solve superior global solution. This suggests that there may be general principles of information aggre...
Vadas Gintautas, Aric A. Hagberg, Luís M. A...
FOCS
2007
IEEE
16 years 28 days ago
Quantum Algorithms for Hidden Nonlinear Structures
Attempts to find new quantum algorithms that outperform classical computation have focused primarily on the nonabelian hidden subgroup problem, which generalizes the central prob...
Andrew M. Childs, Leonard J. Schulman, Umesh V. Va...