7380 search results - page 64 / 1476 » time 2008 |
AUTOMATICA
2008
13 years 10 months ago
2008
: Given a continuous time nonlinear closed loop system, we investigate sampled
DAM
2008
13 years 10 months ago
2008
For each constant k, we present a linear time algorithm that, given a planar graph G, either finds a minimum odd cycle vertex transversal in G or guarantees that there is no transv...
FUIN
2008
13 years 10 months ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
EOR
2008
13 years 10 months ago
2008
The first comprehensive survey paper on scheduling problems with separate setup times or costs was conducted by [Allahverdi, A., Gupta, J.N.D., Aldowaisan, T., 1999. A review of s...
IPM
2008
13 years 10 months ago
2008
In the last few years, there is an increasing interest to generate visual representations of very large scientific domains. A methodology based on the combined use of ISI