Filters








314 Hits in 5.9 sec

Selection from heaps, row-sorted matrices and X+Y using soft heaps [article]

Haim Kaplan, László Kozma, Or Zamir, Uri Zwick
2018 arXiv   pre-print
We use soft heaps to obtain simpler optimal algorithms for selecting the k-th smallest item, and the set of k smallest items, from a heap-ordered tree, from a collection of sorted lists, and from X+Y,  ...  where X and Y are two unsorted sets.  ...  Relying on our simple O(k) heap selection algorithm, we obtain simplified algorithms for selection from row-sorted matrices and from X +Y .  ... 
arXiv:1802.07041v1 fatcat:xgxxraibxbcklc7qysvkwchami

Implementation and complexity analysis of list sphere detector for MIMO-OFDM systems

Markus Myllyla, Markku Juntti, Joseph R. Cavallaro
2008 2008 42nd Asilomar Conference on Signals, Systems and Computers  
A list sphere detector (LSD) is an enhancement of a sphere detector (SD) that can be used to approximate the soft output maximum a posteriori probability (MAP) detector used in the detection of the multiple-input  ...  The LSD is also shown to be feasible for practical implementation, and the implementation complexity and latency results are presented.  ...  ACKNOWLEDGEMENTS This work was done in MITSE project which was supported by Elektrobit, Nokia, Nokia-Siemens Networks, Texas Instruments and the Finnish Funding Agency for Technology and Innovation, Tekes  ... 
doi:10.1109/acssc.2008.5074749 fatcat:nz47dntienblthj646oj5n3pme

SoftSort: A Continuous Relaxation for the argsort Operator [article]

Sebastian Prillo, Julian Martin Eisenschlos
2020 arXiv   pre-print
While sorting is an important procedure in computer science, the argsort operator - which takes as input a vector and returns its sorting permutation - has a discrete image and thus zero gradients almost  ...  We open source the code to reproduce all of the experiments and results.  ...  Acknowledgments We thank Assistant Professor Jordan Boyd-Graber from University of Maryland and Visting Researcher at Google, and Thomas Mller from Google Language Research at Zurich for their feedback  ... 
arXiv:2006.16038v1 fatcat:blymwtpx4fa5joo3zxnvd75moe

Informal Introduction to ALGOL 68

C. H. Lindsey, S. G. Van Der Muelen
1972 Biometrics  
A. van Wijngaarden and the other authors of th~ ALGOL 68 Report, and also the many members of WG 2.1 . and others in the computing community who read this Introduction in draft form and in its first edition  ...  , for their encouragement and helpful criticisms of  ...  From this, we may select the plane PQRS by writing: (E12) I b2 I a1) := [ ] real (a, b, x, y) ~ a1 is rowed to ref [,] real¢ but not (***) ref [, ] real xx2 := a1; & cf.  ... 
doi:10.2307/2528981 fatcat:sgyece5sifdvzagrpkzfthedrm

Programs and Proofs: Mechanizing Mathematics with Dependent Types [article]

Ilya Sergey
2014 Zenodo  
This project contains the Coq sources, the lectures and the exercises for the course Programs and Proofs: Mechanizing Mathematics with Dependent Types.  ...  To build the sources, follow the instructions from README.md in the root folder.  ...  case, in the heap of the shape x :-> w \+ y :-> Y we need to be able to prove that the result and the produced heap of the command x : := v satisfy the predicate [vfun h ⇒ h = x :-> v \+ y :-> Y ] .  ... 
doi:10.5281/zenodo.4996238 fatcat:34mga3vdkjhdtfksnjiwu6yknq

A Tutorial on Algol 68 [chapter]

A. S. Tanenbaum
1983 Programming Languages  
The topics, data types (modes), type conversion (coercion), generalized expressions (units), procedures, operators, the standard prelude, and input/output, form the basis of the paper.  ...  This is why print ((x,y) ) and not print(x,y) has been used to print two variables.  ...  In short,' vectors are read from lowest element to highest element. Matrices are read in row order, beginning with the first row, then the second row, etc.  ... 
doi:10.1007/978-3-662-09507-2_7 fatcat:khmvkmlbcvg73fgqkvh375auxe

A Tutorial on Algol 68

Andrew S. Tanenbaum
1976 ACM Computing Surveys  
The topics, data types (modes), type conversion (coercion), generalized expressions (units), procedures, operators, the standard prelude, and input/output, form the basis of the paper.  ...  This is why print ((x,y) ) and not print(x,y) has been used to print two variables.  ...  In short,' vectors are read from lowest element to highest element. Matrices are read in row order, beginning with the first row, then the second row, etc.  ... 
doi:10.1145/356669.356671 fatcat:47tr7resmbb6fe2crsja4w4of4

Texture space

Rick Gurnsey, David J. Fleet
2001 Vision Research  
To this end, similarity judgments from three subjects were obtained for 20 artificial textures comprising filtered noise.  ...  In addition, the three subjects' similarity judgments and MDS solutions were highly correlated.  ...  Acknowledgements This research was supported by NSERC and FCAR Research Grants to Rick Gurnsey and David Fleet, and an Alfred P. Sloan Research Fellowship to David Fleet.  ... 
doi:10.1016/s0042-6989(00)00307-2 pmid:11248263 fatcat:ypqgrvpsdnezfokbfzc7qyxt4a

Sifting through Network Data to Cull Activity Patterns with HEAPs

Esam Sharafuddin, Yu Jin, Nan Jiang, Zhi-Li Zhang
2010 2010 IEEE 30th International Conference on Distributed Computing Systems  
In this paper, we develop a hierarchical extraction of activity patterns (HEAPs), which is a method for characterizing and profiling activity patterns within subnets.  ...  Using these co-clusters, we utilize hierarchical clustering to cluster activity patterns to assist network operators and security analysts gain a "big-picture" view of the network activity-patterns.  ...  Fig 4 shows at each step of the iterative algorithm in which the x-axis represents the activity pattern being merged and the y-axis represents the relative increase in JSD at each merging step.  ... 
doi:10.1109/icdcs.2010.65 dblp:conf/icdcs/SharafuddinJJZ10 fatcat:py442c6grvex7oda45lr5zt4ci

Connectivity-based garbage collection

Martin Hirzel, Amer Diwan, Matthew Hertz
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
This dissertation presents a novel family of garbage collection algorithms that use information about the connectivity of heap objects to reduce these costs.  ...  The dissertation concludes by describing the design and implementation of a connectivity-based garbage collector in a Java virtual machine, using the pointer analysis.  ...  uses the solution y x to either narrow the range [low, high] or to determine that it has found the solution to the Cbgc partition selection problem.  ... 
doi:10.1145/949334.949337 fatcat:blklnfwhhfaqhe54hr225j2jui

Connectivity-based garbage collection

Martin Hirzel, Amer Diwan, Matthew Hertz
2003 SIGPLAN notices  
This dissertation presents a novel family of garbage collection algorithms that use information about the connectivity of heap objects to reduce these costs.  ...  The dissertation concludes by describing the design and implementation of a connectivity-based garbage collector in a Java virtual machine, using the pointer analysis.  ...  uses the solution y x to either narrow the range [low, high] or to determine that it has found the solution to the Cbgc partition selection problem.  ... 
doi:10.1145/949343.949337 fatcat:7bchou7rgfbdrlv46foxal2yoq

Connectivity-based garbage collection

Martin Hirzel, Amer Diwan, Matthew Hertz
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
This dissertation presents a novel family of garbage collection algorithms that use information about the connectivity of heap objects to reduce these costs.  ...  The dissertation concludes by describing the design and implementation of a connectivity-based garbage collector in a Java virtual machine, using the pointer analysis.  ...  uses the solution y x to either narrow the range [low, high] or to determine that it has found the solution to the Cbgc partition selection problem.  ... 
doi:10.1145/949305.949337 dblp:conf/oopsla/HirzelDH03 fatcat:e6polgizfbgvjeq65vb6gaqoou

Bregman bubble clustering

Gunjan Gupta, Joydeep Ghosh
2008 ACM Transactions on Knowledge Discovery from Data  
DGRADE uses a novel "density gradient estimation" at all the data points to identify all the distinct dense regions in the data, which then allows it to automatically estimate the best k, and the corresponding  ...  seeding method as compared to Pressurization provides a useful trade-off; it provides a meaningful seeding  ...  Acknowledgments: This research was supported by NSF grants IIS-0713142 and IIS-1017614. We are also grateful to Srujana Merugu and Arindam Banerjee for some useful discussions.  ... 
doi:10.1145/1376815.1376817 fatcat:b2ld76mfrrg27hgt54y3ij7xcq

Bregman Bubble Clustering: A Robust Framework for Mining Dense Clusters [chapter]

Joydeep Ghosh, Gunjan Gupta
2012 Intelligent Systems Reference Library  
DGRADE uses a novel "density gradient estimation" at all the data points to identify all the distinct dense regions in the data, which then allows it to automatically estimate the best k, and the corresponding  ...  seeding method as compared to Pressurization provides a useful trade-off; it provides a meaningful seeding  ...  Acknowledgments: This research was supported by NSF grants IIS-0713142 and IIS-1017614. We are also grateful to Srujana Merugu and Arindam Banerjee for some useful discussions.  ... 
doi:10.1007/978-3-642-23166-7_7 fatcat:qigyaoq4arczll3rg32yexrpwu

Objective classification system for sagittal craniosynostosis based on suture segmentation

Xiaohua Qian, Hua Tan, Jian Zhang, Xiahai Zhuang, Leslie Branch, Chaire Sanger, Allison Thompson, Weiling Zhao, King Chuen Li, Lisa David, Xiaobo Zhou
2015 Medical Physics (Lancaster)  
First, the three-dimensional (3D) skull was extracted from the CT images and aligned with the symmetry of the cranial vault.  ...  Receiver operating characteristics (ROC) curves were used to assess the robustness of the developed system.  ...  Figure 5 (a) shows the 108 features sorted by DX-multiscore from high to low. The x-axis and y-axis present the feature index and DX-multiscore, respectively.  ... 
doi:10.1118/1.4928708 pmid:26329001 pmcid:PMC4552707 fatcat:zzoxih6sdzbizdlerhxsrzjrp4
« Previous Showing results 1 — 15 out of 314 results