1750 search results - page 93 / 350 » E-Commerce Development Procedure |
92
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
This work is concerned with numerical methods for controlled regime-switching diffusions, and regime-switching jump diffusions. Numerical procedures based on Markov chain approxim...
125
Voted
EOR
2006
15 years 3 months ago
2006
A tabu search approach to solve multi-objective combinatorial optimization problems is developed in this paper. This procedure selects an objective to become active for a given it...
111
Voted
MTA
2008
15 years 3 months ago
2008
Although the Metadata Editor is an important part of any digital library, it becomes fundamental in the presence of audiovisual content. This is because the metadata produced by au...
136
Voted
ASE
2004
15 years 3 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
128
click to vote
ENTCS
2002
15 years 3 months ago
2002
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...