308 search results - page 20 / 62 » Making Abstract Domains Condensing |
ACTA
2004
14 years 9 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
PRICAI
2000
Springer
15 years 1 months ago
2000
Springer
The automated prediction of a user's interests and requirements is an area of interest to the Artificial Intelligence community. However, current predictive statistical approa...
BMCBI
2006
14 years 10 months ago
2006
Background: Benchmarking algorithms in structural bioinformatics often involves the construction of datasets of proteins with given sequence and structural properties. The SCOP da...
ICLP
1993
Springer
15 years 2 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...