2448 search results - page 250 / 490 » The Octahedron Abstract Domain |
152
click to vote
ISPEC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
122
click to vote
KES
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Structural health management (SHM) of safety-critical structures requires multiple capabilities: sensing, assessment, diagnostics, prognostics, repair, etc. This paper pr...
162
click to vote
LPAR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
175
click to vote
MATES
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
161
click to vote
MICAI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we investigate the effectiveness of applying fuzzy controllers to create strong computer player programs in the domain of backgammon. Fuzzeval, our proposed...