Sciweavers

2316 search results - page 305 / 464
» The many forms of hypercomputation
Sort
View
141
Voted
COMBINATORICS
2004
102views more  COMBINATORICS 2004»
15 years 4 months ago
Satisfiability and Computing van der Waerden Numbers
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
Michael R. Dransfield, Lengning Liu, Victor W. Mar...
166
Voted
COMCOM
2004
142views more  COMCOM 2004»
15 years 4 months ago
An adaptive power-conserving service discipline for bluetooth (APCB) wireless networks
Bluetooth is a new short-range radio technology to form a small wireless system. In most of the current Bluetooth products, the master polls the slaves in a round robin manner and...
Hao Zhu, Guohong Cao, George Kesidis, Chita R. Das
COMPUTING
2004
125views more  COMPUTING 2004»
15 years 4 months ago
Robust Spherical Parameterization of Triangular Meshes
Parameterization of 3D mesh data is important for many graphics and mesh processing applications, in particular for texture mapping, remeshing and morphing. Closed, manifold, genu...
Alla Sheffer, Craig Gotsman, Nira Dyn
196
Voted
CORR
2004
Springer
128views Education» more  CORR 2004»
15 years 4 months ago
Specialization of Functional Logic Programs Based on Needed Narrowing
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
María Alpuente, Michael Hanus, Salvador Luc...
126
Voted
CORR
2004
Springer
112views Education» more  CORR 2004»
15 years 4 months ago
Swarms on Continuous Data
While being it extremely important, many Exploratory Data Analysis (EDA [21]) systems have the inhability to perform classification and visualization in a continuous basis or to se...
Vitorino Ramos, Ajith Abraham