1331 search results - page 170 / 267 » Description logic reasoning using the PTTP approach |
192
click to vote
ISPD
2004
ACM
15 years 12 months ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
171
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
178
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
180
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
162
click to vote
DAC
2006
ACM
16 years 11 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...