4850 search results - page 767 / 970 » Proof and Computation in Geometry |
163
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
146
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...
189
click to vote
CCGRID
2006
IEEE
16 years 20 days ago
2006
IEEE
— It is well-understood that increasing redundancy in a system generally improves the availability and dependability of the system. In server clusters, one important form of redu...
168
click to vote
E2EMON
2006
IEEE
16 years 20 days ago
2006
IEEE
—The traffic dynamics of the Internet’s dominant applications, such as peer-to-peer and multimedia, worsen the accuracy of the existing application traffic identification. Ther...
176
click to vote
FOCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Given an undirected hypergraph and a subset of vertices S ⊆ V with a specified root vertex r ∈ S, the STEINER ROOTED-ORIENTATION problem is to find an orientation of all the...