2171 search results - page 354 / 435 » A Generic Process Algebra |
123
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: 3D-Jury, the structure prediction consensus method publicly available in the Meta Server http://meta.bioinfo.pl/, was evaluated using models gathered in the 7th round ...
142
Voted
TACS
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
146
Voted
ASPLOS
2009
ACM
15 years 7 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...
144
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
123
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
: © Denoising Scheme for Realistic Digital Photos from Unknown Sources Suk Hwan Lim, Ron Maurer, Pavel Kisilev HP Laboratories HPL-2008-167 No keywords available. This paper targe...