310 search results - page 59 / 62 » Overview of WebCLEF 2005 |
FCA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
FCA
2005
Springer
14 years 1 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
FM
2005
Springer
14 years 1 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Active structures capable of responding to external stimulii represent the emerging frontier in structural design. Robust and real-time sensing, control, and actuation pose fundame...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Smaller institutions can now maintain local cluster computing environments to support research and teaching in high-performance scientific computation. Researchers can d...