2632 search results - page 297 / 527 » Alternating Timed Automata |
158
click to vote
ICESS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
159
click to vote
IEAAIE
2005
Springer
16 years 1 days ago
2005
Springer
When using a constructive search algorithm, solutions to scheduling problems such as the job shop and open shop scheduling problems are typically represented as permutations of the...
220
click to vote
WINE
2005
Springer
16 years 17 hour ago
2005
Springer
In this study, a hybrid intelligent data mining methodology, genetic algorithm based support vector machine (GASVM) model, is proposed to explore stock market tendency. In this hyb...
132
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
— We study the delays faced by instructions in the pipeline of a superscalar processor and its impact on power and performance. Instructions that are ready-on-dispatch (ROD) are ...
157
click to vote
AI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...