1436 search results - page 242 / 288 » Description Logic Unplugged |
CIDR
2009
15 years 3 months ago
2009
In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement ...
121
click to vote
CAD
2007
Springer
15 years 2 months ago
2007
Springer
In this paper, we propose a novel method of body feature extraction from a marker-less scanned body. The descriptions of human body features mostly defined in ASTM (1999) and ISO...
112
click to vote
IJCSS
2007
15 years 1 months ago
2007
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...
129
click to vote
JOT
2007
15 years 1 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
126
click to vote
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...