Sciweavers

2171 search results - page 410 / 435
» A Generic Process Algebra
Sort
View
BIRTHDAY
2010
Springer
13 years 8 months ago
The Edge of Graph Transformation - Graphs for Behavioural Specification
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
Arend Rensink
BMCBI
2007
246views more  BMCBI 2007»
13 years 8 months ago
TomoJ: tomography software for three-dimensional reconstruction in transmission electron microscopy
Background: Transmission electron tomography is an increasingly common three-dimensional electron microscopy approach that can provide new insights into the structure of subcellul...
Cédric Messaoudi, Thomas Boudier, Carlos Os...
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 8 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart
CORR
2008
Springer
119views Education» more  CORR 2008»
13 years 8 months ago
Self-stabilizing Numerical Iterative Computation
Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal proces...
Ezra N. Hoch, Danny Bickson, Danny Dolev
CORR
2006
Springer
152views Education» more  CORR 2006»
13 years 8 months ago
On Reduced Complexity Soft-Output MIMO ML detection
In multiple-input multiple-output (MIMO) fading channels maximum likelihood (ML) detection is desirable to achieve high performance, but its complexity grows exponentially with th...
Massimiliano Siti, Michael P. Fitz