2296 search results - page 388 / 460 » The Expressive Power of Synchronizations |
126
click to vote
ACTA
2007
15 years 4 months ago
2007
Abstract This paper introduces the notion of well-structured language. A wellstructured language can be defined by a labelled well-structured transition system, equipped with an u...
150
click to vote
AI
2007
Springer
15 years 4 months ago
2007
Springer
In this paper a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain re...
137
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Ortholog detection methods present a powerful approach for finding genes that participate in similar biological processes across different organisms, extending our und...
139
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We discuss the definability of finite graphs in first-order logic with two relation symbols for adjacency and equality of vertices. The logical depth D(G) of a graph G is equal to ...
141
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The problem of maximizing the average rate in a multicast network subject to a coverage constraint (minimum quality of service) is studied. Assuming the channel state information ...