1331 search results - page 202 / 267 » Description logic reasoning using the PTTP approach |
166
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
Annotation Enrichment Analysis (AEA) is a widely used analytical approach to process data generated by high-throughput genomic and proteomic experiments such as gene expression mic...
172
click to vote
PROFES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
172
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
152
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
157
click to vote
FPGA
1997
ACM
15 years 10 months ago
1997
ACM
We present a general approach to the FPGA technology mapping problem that applies to any logic block composed of lookup tables LUTs and can yield optimal solutions. The connecti...