3750 search results - page 358 / 750 » Timed Automata Patterns |
133
Voted
EOR
2007
15 years 4 months ago
2007
This paper presents a hybrid IP/CP algorithm for designing a double round robin schedule with a minimal number of breaks. Both mirrored and non-mirrored schedules with and without ...
165
Voted
ICAI
2004
15 years 6 months ago
2004
To ensure space flight safety, it is necessary to monitor myriad sensor readings on the ground and in flight. Since a space shuttle has many sensors, monitoring data and drawing c...
115
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
We address the problem of extracting semantics of tags ? short, unstructured text-labels assigned to resources on the Web ? based on each tag's metadata patterns. In particul...
127
Voted
RECOMB
2004
Springer
16 years 4 months ago
2004
Springer
In this paper we describe an algorithm for the localization of structured models, i.e. sequences of (simple) motifs and distance constraints. It basically combines standard patter...
141
click to vote
ICIAP
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents calibration software "D-Calib" for multiple cameras, which can calibrate all cameras at the same time with easy operation. Our calibration method con...