87 search results - page 14 / 18 » A Heuristic-Based Approach to Identify Concepts in Execution... |
ICS
2009
Tsinghua U.
13 years 5 months ago
2009
Tsinghua U.
Modern processors require highly accurate branch prediction for good performance. As such, a number of branch predictors have been proposed with varying size and complexity. This ...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
With the increasing number of ontologies available on the web, the problem of merging ontologies from different sources to interoperate applications becomes important. This paper ...
ICLP
2005
Springer
14 years 29 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
ICLP
2005
Springer
14 years 29 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...