4266 search results - page 540 / 854 » A Framework for Defining Logics |
159
click to vote
APAL
2007
15 years 7 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentâ...
199
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
219
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Integrating data from multiple global assays and curated databases is essential to understand the spatiotemporal interactions within cells. Different experiments measu...
195
click to vote
TMI
2010
15 years 1 months ago
2010
Abstract--We propose a framework for the nonlinear spatiotemporal registration of 4D time-series of images based on the Diffeomorphic Demons (DD) algorithm. In this framework, the ...
229
click to vote
RV
2009
Springer
15 years 11 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...