Sciweavers

1763 search results - page 298 / 353
» A Formalization of Polytime Functions
Sort
View
CORR
2008
Springer
94views Education» more  CORR 2008»
14 years 10 months ago
On the Weight Distribution of the Extended Quadratic Residue Code of Prime 137
The Hamming weight enumerator function of the formally self-dual even, binary extended quadratic residue code of prime p = 8m + 1 is given by Gleason's theorem for singly-eve...
Cen Tjhai, Martin Tomlinson, Marcel Ambroze, Moham...
CORR
2008
Springer
123views Education» more  CORR 2008»
14 years 10 months ago
Networks become navigable as nodes move and forget
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
Augustin Chaintreau, Pierre Fraigniaud, Emmanuelle...
ENTCS
2010
133views more  ENTCS 2010»
14 years 10 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
ARTMED
2006
86views more  ARTMED 2006»
14 years 9 months ago
Multiple hierarchical classification of free-text clinical guidelines
Manual classification of free-text documents within a predefined hierarchy is highly time consuming. This is especially true for clinical guidelines, which are often indexed by mu...
Robert Moskovitch, Shiva Cohen-Kashi, Uzi Dror, If...
AUTOMATICA
2006
101views more  AUTOMATICA 2006»
14 years 9 months ago
A risk-sensitive approach to total productive maintenance
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...
Abhijit Gosavi