324 search results - page 3 / 65 » Repairing Incomplete Reasoners |
120
Voted
TARK
1998
Springer
15 years 7 months ago
1998
Springer
101
Voted
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
101
Voted
DLOG
1998
15 years 5 months ago
1998
120
Voted
DDECS
2007
IEEE
15 years 10 months ago
2007
IEEE
—An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. A commonly used repair strategy is to equip memories with sp...
105
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...