200 search results - page 14 / 40 » Negative Cycle Detection Problem |
IEAAIE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
FORMATS
2006
Springer
14 years 2 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
ICIAR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Random Amplified Polymorphism DNA (RAPD) analysis is a wellknown method for studying genetic relationships between individuals. In this context, processing the underlying...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
This paper considers using online binary classification for target detection where the goal is to identify signals of interest within a sequence of received signals generated by ...
APCSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
Continuing advances in semiconductor technology and demand for higher performance will lead to more powerful, superpipelined and wider issue processors. Instruction caches in such ...