4737 search results - page 664 / 948 » The LOGIC negotiation model |
182
click to vote
CHES
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
177
click to vote
LPNMR
2005
Springer
16 years 27 days ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
193
click to vote
TLCA
2005
Springer
16 years 27 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
207
click to vote
DILS
2004
Springer
16 years 24 days ago
2004
Springer
An abundance of biological data sources contain data on classes of scientific entities, such as genes and sequences. Logical relationships between scientific objects are implemen...
233
click to vote
EKAW
2004
Springer
16 years 24 days ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...