716 search results - page 95 / 144 » Rule Formats for Timed Processes |
BMCBI
2010
13 years 7 months ago
2010
Background: Non-coding RNAs gain more attention as their diverse roles in many cellular processes are discovered. At the same time, the need for efficient computational prediction...
IJON
2008
13 years 7 months ago
2008
Convolutive mixtures of images are common in photography of semi-reflections. They also occur in microscopy and tomography. Their formation process involves focusing on an object ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Deadlock detection scheduling is an important, yet often overlooked problem that can significantly affect the overall performance of deadlock handling. Excessive initiation of dea...
ER
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. To integrate information, data in different formats, from different, potentially overlapping sources, must be related and transformed to meet the users' needs. Ten y...
ATAL
2010
Springer
13 years 2 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...