2478 search results - page 239 / 496 » Quadtrees as an Abstract Domain |
180
click to vote
ISMIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Discovering significant meta-information from document collections is a critical factor for knowledge distribution and preservation. This paper presents a system that im...
152
click to vote
ISPEC
2005
Springer
16 years 5 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 5 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...