1331 search results - page 125 / 267 » Description logic reasoning using the PTTP approach |
190
click to vote
TPHOL
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
151
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
213
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
182
click to vote
TMC
2012
13 years 8 months ago
2012
—This paper studies video multicasting in large scale areas using wireless mesh networks. The focus is on the use of Internet access gateways that allow a choice of alternative r...
147
click to vote
VAMOS
2007
Springer
16 years 15 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...