2063 search results - page 32 / 413 » connection 2007 |
174
click to vote
ENTCS
2007
15 years 7 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
143
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Understanding how a single edge deletion can affect the connectivity of a graph amounts to finding the graph bridges. But when faced with d > 1 deletions, can we establish as ...
204
click to vote
ECWEB
2007
Springer
15 years 11 months ago
2007
Springer
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
211
click to vote
CGF
2007
15 years 7 months ago
2007
We present a new, single-rate method for compressing the connectivity information of a connected 2-manifold triangle mesh with or without boundary. Traditional compression schemes...
194
click to vote
MSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Scaling data storage is a significant concern in enterprise systems and Storage Area Networks (SANs) are deployed as a means to scale enterprise storage. SANs based on Fibre Chan...