4099 search results - page 192 / 820 » A Framework for Interactive Proof |
141
Voted
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
141
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
Common to Grid services, Web Services, software agents and software components is that they are independently built and provide services aimed for composition. A key issue is wheth...
128
Voted
COLING
1992
15 years 6 months ago
1992
This paper discusses coml)lex structural changes during transfer within a non-destructive transfer framework. Though the description of each individual structural change is not di...
141
click to vote
WIKIS
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we examine the discursive situation of Wikipedia. The primary goal is to explore principle ways of analyzing and characterizing the various forms of communicative u...
141
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: It has been long well known that genes do not act alone; rather groups of genes act in consort during a biological process. Consequently, the expression levels of gene...