3424 search results - page 360 / 685 » Automated Testing of Classes |
241
Voted
IFM
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
195
click to vote
KR
2004
Springer
16 years 24 days ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
180
Voted
LPAR
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
161
click to vote
ECSQARU
2003
Springer
16 years 20 days ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
173
Voted
ICCBR
2003
Springer
16 years 19 days ago
2003
Springer
In the CBR literature from the past 25 years there is a considerable amount of research work that makes use of cases that are subspaces of some representation space rather than poi...