418 search results - page 3 / 84 » Circularity Measuring in Linear Time |
198
Voted
TCS
2011
15 years 1 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
126
Voted
ENGL
2007
15 years 6 months ago
2007
— Using computer simulated tests, this study examined direction-of-motion stereotypes and response times for different configurations of lever controls and circular displays. Qua...
185
Voted
ACIVS
2006
Springer
16 years 11 days ago
2006
Springer
Abstract. Image segmentation using graph cuts have become very popular in the last years. These methods are computationally expensive, even with hard constraints (seed pixels). We ...
210
Voted
JMLR
2008
15 years 6 months ago
2008
Efficient and expressive comparison of sequences is an essential procedure for learning with sequential data. In this article we propose a generic framework for computation of sim...
176
click to vote
SPAA
2005
ACM
15 years 12 months ago
2005
ACM
The non-blocking work-stealing algorithm of Arora, Blumofe, and Plaxton (henceforth ABP work-stealing) is on its way to becoming the multiprocessor load balancing technology of ch...