3424 search results - page 360 / 685 » Automated Testing of Classes |
213
click to vote
IFM
2004
Springer
16 years 22 hour 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...
163
click to vote
KR
2004
Springer
16 years 17 hour 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...
165
click to vote
LPAR
2004
Springer
16 years 16 hour 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...
140
click to vote
ECSQARU
2003
Springer
15 years 12 months 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...
156
click to vote
ICCBR
2003
Springer
15 years 12 months 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...