8838 search results - page 404 / 1768 » Generalizing Domain Theory |
214
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...
216
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
181
click to vote
JASIS
2000
15 years 6 months ago
2000
: This article examines information theory from the aspect of its "conduit metaphor." A historical approach and a close reading of certain texts by Warren Weaver and Nor...
193
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
General purpose computing architectures are being called on to work on a more diverse application mix every day. This has been fueled by the need for reduced time to market and ec...
177
click to vote
NDJFL
2000
15 years 6 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...