9145 search results - page 1578 / 1829 » Description Logic Systems |
101
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Semantic caching is an important technology for improving the response time of future user queries specified over remote servers. This paper deals with the fundamental query conta...
127
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
This paper proposes a D-algebra to compose decisions from multiple access control policies. Compared to other algebrabased approaches aimed at policy composition, D-algebra is the...
146
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
146
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
Rule mining is an important data mining task that has been applied to numerous real-world applications. Often a rule mining system generates a large number of rules and only a sma...
120
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...