2688 search results - page 210 / 538 » A formal semantics for P3P |
173
click to vote
DEXAW
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents an information retrieval methodology which uses Formal Concept Analysis in conjunction with semantics to provide contextual answers to users’ queries. User f...
187
click to vote
QSIC
2007
IEEE
16 years 26 days ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
184
click to vote
EPIA
2007
Springer
16 years 23 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
174
click to vote
WPES
2005
ACM
16 years 4 days ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
176
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...