1948 search results - page 277 / 390 » Formalizing Mirror Theory |
143
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
215
click to vote
MOBIHOC
2007
ACM
16 years 5 months ago
2007
ACM
Existing work on the capacity of wireless networks predominantly considers homogeneous random networks with random work load. The most relevant bounds on the network capacity, e.g...
153
click to vote
DRM
2007
Springer
15 years 11 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
173
Voted
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
190
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...