Sciweavers

3172 search results - page 374 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
ENTCS
2008
98views more  ENTCS 2008»
15 years 6 months ago
An Intermediate Language for the Simulation of Biological Systems
We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be t...
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo...
GC
2008
Springer
15 years 6 months ago
On the Acyclic Chromatic Number of Hamming Graphs
An acyclic coloring of a graph G is a proper coloring of the vertex set of G such that G contains no bichromatic cycles. The acyclic chromatic number of a graph G is the minimum nu...
Robert E. Jamison, Gretchen L. Matthews
CORR
2006
Springer
125views Education» more  CORR 2006»
15 years 6 months ago
10^(10^6) Worlds and Beyond: Efficient Representation and Processing of Incomplete Information
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
Lyublena Antova, Christoph Koch, Dan Olteanu
ENTCS
2007
99views more  ENTCS 2007»
15 years 6 months ago
Nominal Equational Logic
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
Ranald A. Clouston, Andrew M. Pitts
NLE
2008
107views more  NLE 2008»
15 years 6 months ago
A finite-state morphological grammar of Hebrew
Morphological analysis is a crucial component of several natural language processing tasks, especially for languages with a highly productive morphology, where stipulating a full ...
S. Yona, S. Wintner