Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово cs [205 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 sgroenewegen camster ansobol yallop adriansampson eyliu JohnAGoldsmith lucretia_fly 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 4 people eporreca JakubSzymanik marciolima leidner
  • 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 ****
  • 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 10 people and 1 group hamish grzegorz 4vgacias mahler wadler ben_moseley fsteeg jonathlela vlasovskikh NSumner 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 ***
  • 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
  • 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
  • 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 ***
  • 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 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
  • 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
  • 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 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
  • 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 8 people LittleWood kinaba JosephKoshy qiongc arsyed damaru Bluetulip brothers
  • 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 ***
  • 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 **
  • 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 ****
  • 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 mxp egh rzach lop 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 6 people and 1 group sstrickl tautologico voigt lyongu msakai jimburton Lambda the Ultimate
  • 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
  • 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 10 people and 3 groups greenrd plaugg yallop voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • 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 2 people and 2 groups smithco balicea Plant-Tissue-Simulation VirtualPlants
  • 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 **
  • 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 **
  • 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 **
  • 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
  • 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
  • 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
  • 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 7 people and 2 groups kistijantoro anoopsarkar jolilius edwardvielmetti arjen pratap tumo TUCS-ES_Lab Georouting
  • "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
  • "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 **
  • 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
  • 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
  • Graph mining: Laws, generators, and algorithms
    ACM Comput. Surv., Vol. 38, No. 1. (2006)
    by Deepayan Chakrabarti, Christos Faloutsos
    posted to algorithm algorithms compsci cs graph math mathematics by pdlug on 2006-07-23 17:19:41 as ** along with 23 people and 7 groups krisl styliani jrw mapio tmmurali ChaTo scis0000001 bigbossman AbnerCYH rgb joergkurtwegner graphminer azygmunt Repton jaspervoskuilen nvemuri iris_2001 InternetAlgorithms tuttle furykerry gimbiri kozaki patrickhoefler Molecular-Modelling Drug-Design Cheminformatics pileWorks AGH-IISG CSBBGraphTheory Community_SSTZ
  • Understanding Search Engines: Mathematical Modeling and Text Retrieval (Software, Environments, Tools), Second Edition
    (28 April 2005)
    by Michael W Berry, Murray Browne
    posted to algorithm algorithms book cs informationretrieval ir math search by pdlug on 2006-06-16 18:42:37 as *** along with 1 person mthomure
  • MapReduce: Simplified Data Processing on Large Clusters
    OSDI '04, pp. 137-150.
    by Jeffrey Dean, Sanjay Ghemawat
    posted to algorithm algorithms cmpsci cs distributed google mapreduce by pdlug on 2006-06-16 18:21:24 as ** along with 26 people and 4 groups myui gionis mpotamias egh muli jrw aufrank Kevembuangga sids epaulson fheintz roi mthomure spl gane5h fghorow mzygmunt neilc fmc ronnix coutinho votis angus aali adamsi sby ur-cls Impending_AI_breakthrough oktave-labs Speed
  • Pattern Classification (2nd Edition)
    (21 November 2000)
    by Richard O Duda, Peter E Hart, David G Stork
    posted to classification compsci cs informationretrieval ir learning machinelearning by pdlug on 2006-08-29 20:06:26 as ** along with 32 people and 10 groups tgyork matjes napvasconcelos haiyeong ecome yaroslavvb sidr JoSeK thsant mhaller gyuli carueda xtizon leidner 1puumu jekky balajis buescher76 balicea sdvillal pbellec ctacmo jclau bigbossman brunomelo ddos mattjb zeppe dimatura theus abellogin singhsh CMU-HCII Blog_and_Wiki_Research automatic_summarization video_retrieval ASR AI ComplexAdaptiveSystems RiSE DSTO-CAS Medical Image Analysis and Visualization @ OSU
  • Matrices, Vector Spaces, and Information Retrieval
    SIAM Rev., Vol. 41, No. 2. (June 1999), pp. 335-362.
    by Michael W Berry, Zlatko Drmac, Elizabeth R Jessup
    posted to compsci cs informationretrieval ir linalg linearalgebra math by pdlug on 2006-07-10 19:19:18 as ** along with 6 people and 1 group ansobol jrw mapio diegolino_veneziano mukundn gane5h InformationRetrieval
  • The Byzantine Generals Problem
    ACM Trans. Program. Lang. Syst., Vol. 4, No. 3. (July 1982), pp. 382-401.
    by Leslie Lamport, Robert Shostak, Marshall Pease
    posted to algorithm algorithms cs distributed distributedcomputing voting by pdlug on 2006-02-11 21:02:35 as ** along with 12 people mercutio egh e_anil kistijantoro jpmartin asilva EasonCheng epaulson henningpeters ljcamargos thehajime admash
  • 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 38 people and 10 groups quianominorleo Repton blueskies amirsaffari 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 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
  • Inverted files for text search engines
    ACM Comput. Surv., Vol. 38, No. 2. (2006)
    by Justin Zobel, Alistair Moffat
    posted to compsci cs index information-retrieval informationretrieval ir by pdlug on 2006-07-28 15:24:58 as ** along with 10 people iansimon mthomure dullhunk ianturton lemire myui sugarexpletive _chl gimbiri jodal
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/cs

    Result page: 1 2 3 4 5 Next RIS BibTeX RSS
    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.