3639 search results - page 17 / 728 » Experiments on IPv6 Testing |
70
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
80
Voted
ITC
1997
IEEE
15 years 4 months ago
1997
IEEE
106
Voted
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
MUC
1991
15 years 4 months ago
1991
SMR
2008
15 years 11 days ago
2008