115 search results - page 18 / 23 » his 2003 |
EUROPAR
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...
EWMF
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. Recommender systems suggest objects to users. One form recommends documents or other objects to users searching information on a web site. A recommender system can be use...
ICFEM
2003
Springer
14 years 20 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
ICICS
2003
Springer
14 years 20 days ago
2003
Springer
A group signature scheme allows a group member of a given group to sign messages on behalf of the group in an anonymous and unlinkable fashion. In case of a dispute, however, a des...
ISMIS
2003
Springer
14 years 19 days ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...