2586 search results - page 256 / 518 » Automatic Abstraction for Congruences |
199
click to vote
CIVR
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. A novel approach to object-based video indexing and retrieval is presented, employing an object segmentation algorithm for the real-time, unsupervised segmentation of com...
164
click to vote
ECAI
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
168
click to vote
ECOOPW
2004
Springer
16 years 16 min ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...
146
click to vote
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
249
click to vote
FAABS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...