Sciweavers

2730 search results - page 164 / 546
» An Abstract Model for Process Mediation
Sort
View
CMSB
2006
Springer
15 years 8 months ago
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
Muffy Calder, Adam Duguid, Stephen Gilmore, Jane H...
ICECCS
2010
IEEE
153views Hardware» more  ICECCS 2010»
15 years 4 months ago
Patterns for Modelling Time and Consistency in Business Information Systems
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
Jeremy W. Bryans, John S. Fitzgerald, Alexander Ro...
KES
2008
Springer
15 years 4 months ago
Super Resolution of Multispectral Images Using TV Image Models
Abstract. In this paper we propose a novel algorithm for the pansharpening of multispectral images based on the use of a Total Variation (TV) image prior. Within the Bayesian formu...
Miguel Vega, Javier Mateos, Rafael Molina, Aggelos...
TOPNOC
2008
15 years 4 months ago
Model Driven Testing Based on Test History
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusi...
129
Voted
ICIP
2004
IEEE
16 years 6 months ago
Automatically learning structural units in educational videos with the hierarchical hidden markov models
In this paper we present a coherent approach using the hierarchical HMM with shared structures to extract the structural units that form the building blocks of an education/traini...
Dinh Q. Phung, Svetha Venkatesh, Hung Hai Bui