12981 search results - page 2122 / 2597 » Model Checking (Abstract) |
334
click to vote
IWINAC
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. One of the more important issues in intelligent video surveillance systems is the ability to handle events from the motion of objects. Thus, the classification of the tr...
372
click to vote
IWSOS
2011
Springer
14 years 9 months ago
2011
Springer
Abstract This paper depicts and evaluates an evolutionary design process for generating a complex self-organizing multicellular system based on Cellular Automata (CA). We extend th...
185
click to vote
AAAI
2011
14 years 6 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
226
click to vote
AIME
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. The prediction of diagnosis codes is typically based on freetext entries in clinical documents. Previous attempts to tackle this problem range from strictly rule-based sy...
210
click to vote
ASUNAM
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Many important real-world systems, modeled naturally as complex networks, have heterogeneous interactions and complicated dependency structures. Link prediction in such ...