4894 search results - page 881 / 979 » Choices |
176
click to vote
LICS
1991
IEEE
15 years 9 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
189
click to vote
LNCS
1991
15 years 9 months ago
1991
We describe the parser of LEU/2, the Linguistic Experimentation Environment of the LILOG project. The parser is designed to support and encourage experimentation with different gr...
175
click to vote
VISUALIZATION
1991
IEEE
15 years 9 months ago
1991
IEEE
or vectors at every mesh point may lead to a very cluttered image. Continuous coloring or data mapping, on the other hand, provide a smooth representation of the data. The use of t...
195
click to vote
AFRICACRYPT
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
175
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
In a world of wide-scale information sharing, the decentralized coordination has to consolidate a variety of heterogeneity. Shared data are described in different formats, i.e. da...