4434 search results - page 641 / 887 » On the Composition of Hybrid Systems |
195
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
161
click to vote
CD
2004
Springer
16 years 1 days ago
2004
Springer
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
176
click to vote
CLEF
2004
Springer
16 years 1 days ago
2004
Springer
We describe our experiments for the Image CLEF medical retrieval task. Our efforts were focused on the initial visual search. A content based approach was followed. We used textur...
162
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
195
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...