Pedro M. González

Learn More
Time management is a critical component of workflow-based process. Important aspects of time management include: the planning for the workflow process execution on time, estimating workflow execution duration, avoiding deadline violations, and satisfying all time constraints specified. In this paper, we apply Time Petri Nets to model the temporal behavior(More)
The detection and characterisation of hepatic lesions is fundamental in clinical practice, from the diagnosis stages to the evolution of the therapeutic response. Hepatic magnetic resonance is a usual practice in the localization and quantification of lesions. Automatic segmentation of the liver is illustrated in Ti weighted images. This task is necessary(More)
Mathematical Morphology is a powerful non-linear image analysis techniques based on lattice theory. The definitions of morphological operators need an ordered lattice algebraic structure. In order to apply these operators to the colour images it is required, on one hand the choice of a suitable colour space representation and on the other hand, to establish(More)
This thesis presents a collection of new algorithms for solving Constraint Satisfaction Problems (CSP) and Weighted Constraint Satisfaction Problems (WCSP). We pursue two main objectives: enhancing solving methods for WCSP, which are of recent development, and narrowing the gap between search and inference methods. The first part of the thesis is devoted to(More)
states represent a set of concrete states of the TPN model. The firing interval set is also known as the firing domain D. The firing of transition ti leads the system to another state, at time τ + θ, which will be denoted as: (ti, θ) S ―――→ S' (3) Υ(s) denotes the set of all firing transitions in state s, and Υ(s) ⊆ enb(M). The firing rule is the base to(More)
It is well known that automated systems have to be carefully evaluated to result in good specifications that lead to useful systems. Therefore, that implies that the early design phase, composed by requirement elicitation and requirements analysis should be very precise to spot contradictions, misleading conditions, lack of constraints, and other typical(More)
  • 1