1119 search results - page 155 / 224 » On the Invariance of Ant System |
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
AVBPA
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a 3D face recognition system based on geometrically localized facial features. We propose the feature extraction procedure using the geometrical characteristics...
CC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...