Sciweavers

82 search results - page 9 / 17
» Computational Nature of Processes Induced by Biochemical Rea...
Sort
View
ICIP
2009
IEEE
14 years 9 months ago
Fluorescence Microscopy Imaging Denoising With Log-euclidean Priors And Photobleaching Compensation
Fluorescent protein microscopy imaging is nowadays one of the most important tools in biomedical research. However, the resulting images present a low signal to noise ratio and a ...
LICS
2006
IEEE
14 years 2 months ago
Saturated Semantics for Reactive Systems
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
Filippo Bonchi, Barbara König, Ugo Montanari
PE
2011
Springer
321views Optimization» more  PE 2011»
13 years 3 months ago
Quasi-birth-and-death processes with restricted transitions and its applications
In this paper we identify a class of Quasi-Birth-and-Death (QBD) processes where the transitions to higher (resp. lower) levels are restricted to occur only from (resp. to) a subs...
Juan F. Pérez, Benny Van Houdt
BIRTHDAY
2005
Springer
14 years 2 months ago
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
Fabio Gadducci, Ugo Montanari
EMNLP
2010
13 years 6 months ago
Unsupervised Induction of Tree Substitution Grammars for Dependency Parsing
Inducing a grammar directly from text is one of the oldest and most challenging tasks in Computational Linguistics. Significant progress has been made for inducing dependency gram...
Phil Blunsom, Trevor Cohn