Chen

Results: 5791



#Item
921Higher-order functions / Programming language comparisons / Parallel computing / Fold / Recursion / Speedup / MapReduce / Map / NESL

Func%onal  Programming  for   Large  and  Dynamic  Data  with   Self-­‐Adjus%ng  Computa%on   Yan  Chen   MPI-­‐SWS  

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2014-09-09 08:39:41
922Coimbra / Uppsala University / Desiderius Erasmus / University of Gttingen / Arenberg

Speech for the 2016 Arenberg-Coimbra Group Prize Ting-jung CHEN Dear Duke of Arenberg, Dear Rectors and Members of the Executive Board, Dear representatives from the Coimbra Universities, It is a genuine honour to be nom

Add to Reading List

Source URL: coimbra-group.eu

Language: English - Date: 2016-06-15 10:33:23
923Virtual memory / Memory management / Computer memory / Computer architecture / Cache / CPU cache / Paging / Page table / Random-access memory / Memory management unit / Page fault / Mmap

“Anti-Caching”-based Elastic Memory Management for Big Data Hao Zhang # , Gang Chen †‡ , Beng Chin Ooi # , Weng-Fai Wong # Shensen Wu †‡ , Yubin Xia ∗ # †

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2014-12-02 06:59:06
924Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Computability theory / Table of stars with Bayer designations / Symbol

Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2011-09-08 07:51:15
925IEEE conferences / Face recognition / Econometrics / Regression analysis / International Conference on Computer Vision / FERET / Conference on Computer Vision and Pattern Recognition / Errors and residuals

Unconstrained Face Alignment via Cascaded Compositional Learning Shizhan Zhu1,2 Cheng Li2 Chen Change Loy1,3 Xiaoou Tang1,3 1 Department of Information Engineering, The Chinese University of Hong Kong 2 SenseTime Group L

Add to Reading List

Source URL: personal.ie.cuhk.edu.hk

Language: English - Date: 2016-04-11 03:36:21
926

Logo Oberheide K�chen .pdf

Add to Reading List

Source URL: www.ntd-del.de

Language: German - Date: 2015-09-07 03:55:03
    927Fault-tolerant computer systems / Routing / Replication / Load balancing / Tapestry

    OceanStore: An Architecture for Global-Scale Persistent Storage  John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea,

    Add to Reading List

    Source URL: www.cs.fsu.edu

    Language: English - Date: 2004-03-24 12:38:27
    928Routing protocols / Internet Standards / Internet protocols / Routing / Computer networking / Border Gateway Protocol / Router / Route reflector / Path vector protocol / IS-IS / Open Shortest Path First / Route flapping

    The Impact of BGP Dynamics on Intra-Domain Traffic Sharad Agarwal Chen-Nee Chuah Supratik Bhattacharyya

    Add to Reading List

    Source URL: sahara.cs.berkeley.edu

    Language: English - Date: 2004-05-10 15:34:32
    929Statistical theory / Statistical inference / Estimation theory / Estimator / Indoor positioning system / Received signal strength indication / Bias of an estimator / Statistics / Median / Localization / Efficiency / Variance

    Empirical Evaluation of the Limits on Localization Using Signal Strength Gayathri Chandrasekaran∗, Mesut Ali Ergin∗ , Jie Yang†, Song Liu∗ , Yingying Chen†, Marco Gruteser∗ , Richard P. Martin∗ ∗ WINLAB,

    Add to Reading List

    Source URL: www.winlab.rutgers.edu

    Language: English - Date: 2009-05-06 17:27:24
    930Procedural programming languages / Functional languages / Functional programming / Type theory / Data types / Standard ML / ML / Type inference / Type system / Monad / Compiler / Algorithm

    Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar

    Add to Reading List

    Source URL: www.mpi-sws.org

    Language: English - Date: 2013-12-11 09:31:37
    UPDATE