877 search results - page 18 / 176 » Structural Cut Elimination |
CSL
2005
Springer
14 years 1 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
MIAR
2010
IEEE
13 years 6 months ago
2010
IEEE
Intravascular Ultrasound(IVUS) is an imaging technology which provides cross-sectional images of internal coronary vessel structures. The IVUS frames are acquired by pulling the ca...
MICCAI
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. We introduce a new, efficient approach for modelling the deformation of organs following surgical cuts, retractions, and resections. It uses the extended finite element ...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Packet Classification is a key functionality provided by modern routers. Previous decision-tree algorithms, HiCuts and HyperCuts, cut the multi-dimensional rule space to separate ...
CC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...