6978 search results - page 1065 / 1396 » On Proofs in System P |
170
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Programmable shading is a common technique for production animation, but interactive programmable shading is not yet widely available. We support interactive programmable shading ...
191
click to vote
ADVIS
2000
Springer
15 years 11 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
201
Voted
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
163
click to vote
COCOON
2000
Springer
15 years 11 months ago
2000
Springer
The integer factorisation and discrete logarithm problems are of practical importance because of the widespread use of public key cryptosystems whose security depends on the presum...
164
Voted
DASFAA
1999
IEEE
15 years 11 months ago
1999
IEEE
The high frequency of applications involving large, ordered, nested lists suggests that list is the "next most" natural data type after set. A list differs from a set th...