536 search results - page 65 / 108 » From Formal Concept Analysis to Contextual Logic |
162
click to vote
SAS
2007
Springer
16 years 26 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
198
click to vote
CSFW
2003
IEEE
16 years 1 days ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
158
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
A large and growing number of web pages display contextual advertising based on keywords automatically extracted from the text of the page, and this is a substantial source of rev...
117
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The Recoil Growth algorithm, proposed in 1999 by Consta et al., is one of the most efficient algorithm available in the literature to sample from a multi-polymer system. While the ...
200
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...