新規登録 | ログイン | FAQ      [?] 

タグ: cs [222 articles]

Recent papers classified by the tag cs.
  • Three models for the description of language
    Information Theory, IEEE Transactions on, Vol. 2, No. 3. (1956), pp. 113-124.
    by N Chomsky
    posted to cfg cs fsm grammar language linguistics by zeichnendes on 2008-04-15 07:00:14 as ** along with 8 people and 1 group camster ansobol yallop adriansampson eyliu JohnAGoldsmith lucretia_fly sgroenewegen dbk-lab
  • Spelling and grammar checking using the Web as a text repository
    Journal of the American Society for Information Science and Technology, Vol. 55, No. 11. (2004), pp. 1020-1023.
    by Kai A Olsen, James G Williams
    posted to cs linguistics by wordium on 2007-04-12 06:18:18 as **** along with 1 person and 1 group garyfeng ReadingLab
  • Introduction to Automata Theory, Languages, and Computation (2nd Edition)
    (14 November 2000)
    by John E Hopcroft, Rajeev Motwani, Jeffrey D Ullman
    posted to automata cs by whshen on 2006-09-25 17:22:03 as ** along with 5 people sdvillal marciolima leidner JakubSzymanik eporreca
  • Parallel computations for controlling an arm.
    J Mot Behav, Vol. 16, No. 2. (June 1984), pp. 171-194.
    by G Hinton
    posted to arm control cs motor nn by v_madhu on 2006-03-13 19:43:21 as **** along with 1 person zheaton
  • Concepts, Techniques, and Models of Computer Programming
    (01 March 2004)
    by Peter V Van Roy, Seif Haridi
    posted to cs by ujh on 2005-04-22 18:20:18 as *** along with 13 people and 1 group robertlischke olegus hamish grzegorz 4vgacias mahler wadler ben_moseley fsteeg jonathlela vlasovskikh NSumner jasmithoffice Rightscom
  • Algorithm Design: Foundations, Analysis, and Internet Examples
    (15 September 2001)
    by Michael T Goodrich, Roberto Tamassia, Michael Goodrich
    posted to algorithm cs design by ujh on 2005-05-09 17:36:16 as ***
  • Multi-Terminal Network Flows
    Journal of the Society for Industrial and Applied Mathematics, Vol. 9, No. 4. (1961), pp. 551-570.
    by RE Gomory, TC Hu
    posted to cs graph-theory by ttjoseph on 2007-03-02 03:33:12 as ***
  • Functional programming: more fundamental than BASIC
    SIGPLAN Lisp Pointers, Vol. VI, No. 2. (1993), pp. 43-48.
    by Iain Ferguson
    posted to cs education languages programming by thsutton on 2006-03-27 13:00:45 as ***
  • Language support for lightweight transactions
    Vol. 38, No. 11. (November 2003), pp. 388-402.
    by Tim Harris, Keir Fraser
    posted to concurrency cs languages programming transactions by thsutton on 2006-03-31 06:28:45 as *** along with 8 people and 1 group tautologico robennals epaulson spl janschaefer RalfMitschke brecknell getpost TU-KL-SoftwareTechnologyGroup
  • Designing effective step-by-step assembly instructions
    ACM Trans. Graph., Vol. 22, No. 3. (July 2003), pp. 828-837.
    by Maneesh Agrawala, Doantam Phan, Julie Heiser, John Haymaker, Jeff Klingner, Pat Hanrahan, Barbara Tversky
    posted to algorithm cs drawing education technical by thsutton on 2006-03-01 10:28:05 as ****
  • Essential language support for generic programming
    Vol. 40, No. 6. (June 2005), pp. 73-84.
    by Jeremy G Siek, Jeremy Siek, Andrew Lumsdaine
    posted to cs languages polymorphism programming theory type by thsutton on 2006-03-21 08:17:33 as ***** along with 3 people yallop bec jsiek
  • Threads cannot be implemented as a library
    Vol. 40, No. 6. (June 2005), pp. 261-268.
    by H Hans-J
    posted to compilers concurrency cs languages programming threads by thsutton on 2006-04-11 05:03:54 as read along with 9 people DickSilver LittleWood kinaba JosephKoshy qiongc arsyed damaru Bluetulip brothers
  • An expressive language of signatures
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40.
    by Norman Ramsey, Kathleen Fisher, Paul Govereau
    posted to cs languages programming theory type by thsutton on 2006-02-26 23:14:41 as **** along with 2 people zednenem josefs
  • notes Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to cs languages logic programming theory type by thsutton on 2006-02-26 05:51:35 as **** along with 11 people and 3 groups draganigajic greenrd plaugg yallop voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • Complete translation of unsafe native code to safe bytecode
    (2004), pp. 32-41.
    by Brian Alliet, Adam Megacz
    posted to code cs machines translation virtual by thsutton on 2006-04-07 01:58:17 as ***
  • Computing curricula 2001
    J. Educ. Resour. Comput., Vol. 1, No. 3es. (2001)
    by Corporate
    edited by Corporate
    posted to cs curriculum education by thsutton on 2006-06-15 11:12:58 as **
  • An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes
    SIGPLAN Not., Vol. 24, No. 10. (October 1989), pp. 49-70.
    by C Chambers, D Ungar, E Lee
    posted to cs dynamic implementation languages oo programming prototypes theory type by thsutton on 2006-03-19 04:00:30 as read
  • Towards Applicative Relational Programming
    (28 Feb 2006)
    by H Ibrahim, MH van Emden
    posted to constraint cs functional languages programming by thsutton on 2006-03-04 00:51:57 as **
  • Recursive functions of symbolic expressions and their computation by machine, Part I
    Commun. ACM, Vol. 3, No. 4. (April 1960), pp. 184-195.
    by John Mccarthy
    posted to cs data functional languages lisp programming by thsutton on 2006-03-18 11:13:35 as ***** along with 4 people and 1 group egh rzach lop mxp LogicPhilMath
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to books cs functional languages logic programming theory type by thsutton on 2006-03-06 04:20:05 as ** along with 8 people and 1 group draganigajic sstrickl tautologico voigt lyongu msakai jimburton shimomura Lambda the Ultimate
  • Language Primitives and Type Discipline for Structured Communication-Based Programming
    (1998), pp. 122-138.
    by Kohei Honda, Vasco T Vasconcelos, Makoto Kubo
    posted to calculus cs languages logic parallel pi process programming theory type by thsutton on 2006-03-12 02:33:06 as *** along with 1 person keigoi
  • Permission-based ownership: encapsulating state in higher-order typed languages
    Vol. 40, No. 6. (June 2005), pp. 96-106.
    by Neel Krishnaswami, Jonathan Aldrich
    posted to cs languages ownership programming theory type by thsutton on 2006-03-31 00:16:34 as *** along with 1 person bec
  • Science, computational science, and computer science: at a crossroads
    (1993), pp. 7-14.
    by DE Stevenson
    posted to cs education language programming by thsutton on 2006-03-27 13:01:47 as ***
  • A Polymorphic Type System for Extensible Records and Variants
    No. NOTTCS-TR-96-3. (November 1996)
    by Benedict R Gaster, Mark P Jones
    posted to cs languages programming theory type by thsutton on 2006-02-26 06:00:03 as **** along with 7 people and 1 group dherman JeffreyPalmer sstrickl tautologico lyongu ryanc americovargas NU-PRL
  • Modeling the topological organization of cellular processes
    Biosystems, Vol. 70, No. 2. (July 2003), pp. 149-163.
    by Jean-Louis Giavitto, Olivier Michel
    posted to cs ds2 examples history mgs theoretical by sstoma on 2006-09-14 14:35:25 as read along with 3 people and 2 groups smithco balicea ddasilva Plant-Tissue-Simulation VirtualPlants
  • Effective incorporation of ethics into courses that focus on programming
    (2005), pp. 347-351.
    by Mary E Califf, Mary Goodwin
    posted to cs education ethics programming by shaun on 2006-07-05 21:14:21 as **
  • Design and evolution of an undergraduate course on web application development
    (2004), pp. 22-26.
    by Kwok-Bun Yue, Wei Ding
    posted to cs education programming web by shaun on 2006-07-05 21:22:57 as **
  • To teach the unteachable class: an experimental course in web-based application design
    (2002), pp. 201-205.
    by Kevin Treu
    posted to cs education programming web by shaun on 2006-07-05 21:19:42 as **
  • Accessibility in introductory computer science
    (2005), pp. 17-21.
    by Robert F Cohen, Alexander V Fairley, David Gerry, Gustavo R Lima
    posted to access cs education java programming by shaun on 2006-07-05 20:58:21 as read
  • Opening the eyes of those who can see to the world of those who can't: a case study
    (2005), pp. 22-26.
    by Susan M Harrison
    posted to access blind cs education programming web by shaun on 2006-07-05 21:01:27 as read along with 2 people trinkows dgh500
  • Teaching and learning ethics in computer science: walking the walk
    (2005), pp. 342-346.
    by Richard J Botting
    posted to cs education ethics by shaun on 2006-07-05 21:09:10 as **
  • Stable signal recovery from incomplete and inaccurate measurements
    Communications on Pure and Applied Mathematics, Vol. 59, No. 8. (2006), pp. 1207-1223.
    by Emmanuel J Candès, Justin K Romberg, Terence Tao
    posted to cs quapo stats545 by rmk on 2008-04-18 15:56:16 as read
  • An Interior-Point Method for Large-Scale <formula formulatype="inline"> <tex>$ell_1$</tex></formula>-Regularized Least Squares
    Selected Topics in Signal Processing, IEEE Journal of, Vol. 1, No. 4. (2007), pp. 606-617.
    by Seung-Jean Kim, K Koh, M Lustig, S Boyd, D Gorinevsky
    posted to cs quapo statistics by rmk on 2008-04-18 23:49:30 as read along with 1 person pcarbo
  • An Introduction To Compressive Sampling [A sensing/sampling paradigm that goes against the common knowledge in data acquisition]
    Signal Processing Magazine, IEEE, Vol. 25, No. 2. (2008), pp. 21-30.
    by EJ Candes, MB Wakin
    posted to signal-processing data_acquisition cs compressive_sensing compression by rmerz on 2008-09-23 16:15:37 as ** along with 1 person masaakif
  • Is computer science science?
    Commun. ACM, Vol. 48, No. 4. (April 2005), pp. 27-31.
    by Peter J Denning
    posted to philosophy cs by powell on 2007-02-08 10:52:34 as read along with 8 people and 2 groups kistijantoro anoopsarkar jolilius edwardvielmetti arjen pratap tumo dullhunk TUCS-ES_Lab Georouting
  • Expressibility results for linear-time and branching-time logics
    (1989), pp. 428-437.
    by Edmund M Clarke, IA Draghicescu
    posted to cs model-checking science by pintman on 2006-06-15 15:08:45 as *** along with 1 person Scis0000002
  • "Sometimes" and "not never" revisited: on branching versus linear time temporal logic
    J. ACM, Vol. 33, No. 1. (January 1986), pp. 151-178.
    by Allen E Emerson, Joseph Y Halpern
    posted to cs model-checking science by pintman on 2006-06-15 15:09:03 as **
  • "Sometime" is sometimes "not never": on the temporal logic of programs
    (1980), pp. 174-185.
    by Leslie Lamport
    posted to cs ctl model-checking by pintman on 2006-06-15 15:12:34 as read along with 1 person ljcamargos
  • Automatic verification of finite-state concurrent systems using temporal logic specifications
    ACM Trans. Program. Lang. Syst., Vol. 8, No. 2. (April 1986), pp. 244-263.
    by EM Clarke, EA Emerson, AP Sistla
    posted to 20s cs model-checking by pintman on 2006-06-07 06:42:46 as ** along with 2 people and 1 group hmeyer mccrimson gk-intern
  • Amorphous computing
    Commun. ACM, Vol. 43, No. 5. (May 2000), pp. 74-82.
    by Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F Knight, Radhika Nagpal, Erik Rauch, Gerald J Sussman, Ron Weiss
    posted to bio cs programming science by pintman on 2006-09-27 13:52:07 as read
  • Die Logik des Mißlingens.
    (31 December 2003)
    by Dietrich Dörner
    posted to cs by petzibaer on 2007-12-30 11:50:23 as read along with 1 person fmatthes
  • Dynamics of Complex Systems (Studies in Nonlinearity)
    by Yaneer Bar-Yam
    posted to cs dynamics multiscalesocietal by petrfrish on 2006-06-11 04:32:40 as ** along with 3 people and 3 groups spirit_of_numenor livingthingdan grisogono ComplexAdaptiveSystems DSTO-CAS livingthing
  • Bloomier Filters: A second look
    (6 Jul 2008)
    by Denis Charles, Kumar Chellapilla
    posted to bloom bloomfilter compsci cs datastructure filter by pdlug on 2008-07-09 04:58:21 as ** along with 1 person dmeister
  • Composing contracts: an adventure in financial engineering (functional pearl)
    SIGPLAN Not., Vol. 35, No. 9. (September 2000), pp. 280-292.
    by Simon P Jones, Jean-Marc Eber, Julian Seward
    posted to compsci cs economics finance functional language languages programming by pdlug on 2006-07-12 20:04:49 as **
  • The Elements of Statistical Learning
    (09 August 2001)
    by T Hastie, R Tibshirani, JH Friedman
    posted to book compsci cs informationretrieval ir learning math statistics stats by pdlug on 2006-06-29 04:20:22 as ** along with 40 people and 10 groups thefillm ansobol yaroslavvb bigga jelsas davidr gyuli garyfeng aufrank neteler leidner chad_davis jekky balajis Jaykul balicea sdvillal donade bigbossman sbarthelme bedo AbnerCYH nojhan bamberg kgajos raiyar deysandeep petrposik dbgrant nmdang alfirk brianmc jung_dalglish dquercia robotact amirsaffari blueskies Repton quianominorleo jaonary CMU-HCII Blog_and_Wiki_Research automatic_summarization ReadingLab ur-cls ASR EvolutionaryComputation Metaheuristics Optimization CSBBGraphTheory
  • &ldquo;Is this document relevant?&hellip;probably&rdquo;: a survey of probabilistic models in information retrieval
    ACM Comput. Surv., Vol. 30, No. 4. (December 1998), pp. 528-552.
    by Fabio Crestani, Mounia Lalmas, Cornelis J Van Rijsbergen, Iain Campbell
    posted to classificiation compsci cs informationretrieval ir relevance survey by pdlug on 2006-07-10 16:38:43 as ** along with 4 people goto4711 sugarexpletive rayzhang paulovn
  • An Algorithm to Determine Peer-Reviewers
    (24 May 2006)
    by Marko A Rodriguez, Johan Bollen
    posted to academia citation compsci cs publishing science by pdlug on 2008-07-21 17:19:44 as ** along with 7 people and 1 group JSicot markusd viktor21614 dullhunk nojhan pak entropy Metaheuristics
  • Marching cubes: A high resolution 3D surface construction algorithm
    Vol. 21, No. 4. (July 1987), pp. 163-169.
    by William E Lorensen, Harvey E Cline
    posted to compsci cs graphics visualization volvis voxel by pdlug on 2006-07-29 00:49:38 as ** along with 11 people and 1 group Clemens hisashim sprite mdekruijf denizinho orodrigu fmaier sakaradam tigarmo maburkitt kenshi84 UUID
  • An introduction to quantum computing for non-physicists
    ACM Comput. Surv., Vol. 32, No. 3. (September 2000), pp. 300-335.
    posted to computing cs physics quantum quantum-computing science by pdlug on 2007-05-11 22:48:57 as ** along with 3 people brian asilva mstone
  • Efficient clustering of high-dimensional data sets with application to reference matching
    (2000), pp. 169-178.
    by Andrew Mccallum, Kamal Nigam, Lyle H Ungar
    posted to academic citation citations clustering cs informatioretrieval ir by pdlug on 2006-06-19 18:44:03 as ** along with 2 people anon_pl ajaiswal
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/cs

    Result page: 1 2 3 4 5 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.