新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

pwais library [142 articles]

最近 pwais さんのライブラリ .
  • Symmetry-breaking predicates for search problems
    (1996), pp. 148-159.
    by James Crawford, Matthew Ginsberg, Eugene Luks, Amitabha Roy
    posted to sat cs264a by pwais on 2008-10-12 21:15:17 as **
  • Survey Propagation Revisited
    by Ashish Sabharwal
    posted to sat cs264a by pwais on 2008-10-12 21:14:06 as **
  • The Parameterized Complexity of Global Constraints
    (2008), pp. 235-240.
    by Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude G Quimper, Toby Walsh
    edited by Dieter Fox, Carla P Gomes, Dieter Fox, Carla P Gomes
    posted to programming cs264a cs241a constraint by pwais on 2008-10-12 21:00:22 as **
  • Decompositions of Grammar Constraints
    (2008), pp. 1567-1570.
    by Claude G Quimper, Toby Walsh
    edited by Dieter Fox, Carla P Gomes, Dieter Fox, Carla P Gomes
    posted to sat restarting cs264a by pwais on 2008-10-12 20:59:10 as **
  • Breaking Value Symmetry
    (2008), pp. 1585-1588.
    by Toby Walsh
    edited by Dieter Fox, Carla P Gomes, Dieter Fox, Carla P Gomes
    posted to sat restarting cs264a by pwais on 2008-10-12 20:58:26 as **
  • Generalizing Boolean satisfiability III: Implementation. Tech. rep., On Time Systems
    Journal of Artificial Intelligence Research, Vol. 23 (2004), pp. 441-531.
    by Heidi E Dixon, Matthew L Ginsberg, David Hofer, Eugene M Luks, Andrew J Parkes
    posted to sat by pwais on 2008-10-12 06:17:31 as **
  • Generalizing Boolean Satisability I: Background and Survey of Existing Work
    by Heidi E Dixon, Matthew L Ginsberg, Andrew J Parkes
    posted to sat by pwais on 2008-10-12 06:13:14 as **
  • Generalizing Boolean satisfiability II: Theory
    Journal of Artificial Intelligence Research, Vol. 22 (2004), pp. 481-534.
    by Heidi E Dixon, Matthew L Ginsberg, Eugene M Luks, Andrew J Parkes
    posted to sat by pwais on 2008-10-12 06:11:46 as **
  • Efficient Algorithms for Clause-learning Sat Solvers
    (2004)
    by Lawrence Ryan
    posted to sat cs264a by pwais on 2008-10-10 09:53:05 as **
  • Image Retrieval from the World Wide Web: Issues, Techniques, and Systems
    ACM Comput. Surv., Vol. 36, No. 1. (March 2004), pp. 35-67.
    by ML Kherfi, D Ziou, A Bernardi
    posted to surveys by pwais on 2008-10-10 09:44:41 as ** along with 4 people ryan mthomure rayzhang jccaicedo
  • Advances in dataflow programming languages
    ACM Comput. Surv., Vol. 36, No. 1. (March 2004), pp. 1-34.
    by Wesley M Johnston, Paul RP Hanna, Richard J Millar
    posted to surveys by pwais on 2008-10-10 09:44:08 as ** along with 10 people and 2 groups liuxiaojun cyclops jrw krissp mmuecke gkontos GeoffWozniak atsutomo koenig fryanpan CompArch ParComp
  • Object-based and image-based object representations
    ACM Comput. Surv., Vol. 36, No. 2. (2004), pp. 159-217.
    by Hanan Samet
    posted to surveys by pwais on 2008-10-10 09:43:55 as **
  • Bioinformatics—an introduction for computer scientists
    ACM Comput. Surv., Vol. 36, No. 2. (June 2004), pp. 122-158.
    by Jacques Cohen
    posted to surveys by pwais on 2008-10-10 09:43:38 as ** along with 12 people and 3 groups neilernst malenitah2 asilva Ayest smithco eweaver afragop bigbossman mmuecke sugarexpletive quianominorleo bozdagd CHISEL Complex_Real_Networks Plant-Tissue-Simulation
  • Local ratio: A unified framework for approximation algorithms. In Memoriam: Shimon Even 1935-2004
    ACM Comput. Surv., Vol. 36, No. 4. (2004), pp. 422-463.
    by Reuven B Yehuda, Keren Bendel, Ari Freund, Dror Rawitz
    posted to surveys by pwais on 2008-10-10 09:43:26 as **
  • Lowering the barriers to programming: A taxonomy of programming environments and languages for novice programmers
    ACM Comput. Surv., Vol. 37, No. 2. (June 2005), pp. 83-137.
    by Caitlin Kelleher, Randy Pausch
    posted to surveys by pwais on 2008-10-10 09:43:12 as ** along with 13 people and 1 group neuralwarp kistijantoro rsaarelm manuelpq leonardo spl ajk lfdoherty turadg CeciliaVargas atsutomo phbrownacmorg rezaferry Programming Language Design
  • Association mining
    ACM Comput. Surv., Vol. 38, No. 2. (2006)
    by Aaron Ceglar, John F Roddick
    posted to surveys by pwais on 2008-10-10 09:42:59 as ** along with 2 people bigbossman lemire
  • Adaptive information extraction
    ACM Comput. Surv., Vol. 38, No. 2. (2006)
    by Jordi Turmo, Alicia Ageno, Neus Catal&\#224;
    posted to surveys by pwais on 2008-10-10 09:42:47 as ** along with 4 people and 3 groups katja jiria sajan lillejul social_navigation ilps ahat
  • Interestingness measures for data mining: A survey
    ACM Comput. Surv., Vol. 38, No. 3. (2006)
    by Liqiang Geng, Howard J Hamilton
    posted to surveys by pwais on 2008-10-10 09:42:33 as ** along with 2 people lascasas bigbossman
  • Symmetry in temporal logic model checking
    ACM Comput. Surv., Vol. 38, No. 3. (2006)
    by Alice Miller, Alastair Donaldson, Muffy Calder
    posted to surveys by pwais on 2008-10-10 09:42:20 as ** along with 1 person bfraser
  • Object tracking: A survey
    ACM Comput. Surv., Vol. 38, No. 4. (2006)
    by Alper Yilmaz, Omar Javed, Mubarak Shah
    posted to surveys by pwais on 2008-10-10 09:41:34 as ** along with 11 people and 2 groups mzabidi qwermish thsant e_sommerlade ElQuijote42 quam fommil maelp disimitusimi cbeltran alucchi ThinkTank CRAFT
  • Realization of natural language interfaces using lazy functional programming
    ACM Comput. Surv., Vol. 38, No. 4. (2006)
    by Richard A Frost
    posted to surveys by pwais on 2008-10-10 09:40:51 as ** along with 2 people l_i_l_i_n_2001 yaxu
  • Quantum cryptography: A survey
    ACM Comput. Surv., Vol. 39, No. 2. (2007)
    by Dagmar Bruss, Gábor Erdélyi, Tim Meyer, Tobias Riege, Jörg Rothe
    posted to surveys by pwais on 2008-10-10 09:40:38 as ** along with 1 person mwmarkland
  • A taxonomy of suffix array construction algorithms
    ACM Comput. Surv., Vol. 39, No. 2. (2007)
    by Simon J Puglisi, WF Smyth, Andrew H Turpin
    posted to surveys by pwais on 2008-10-10 09:40:26 as ** along with 1 person mwmarkland
  • Learning from one example through shared densities on transforms
    Vol. 1 (2000), pp. 464-471.
    by Erik G Miller, Nicholas E Matsakis, Paul A Viola
    posted to sketch cv congeal by pwais on 2008-10-08 07:38:38 as **
  • A Complexity-Distortion Approach to Joint Pattern Alignment
    by Andrea Vedaldi, Stefano Soatto
    posted to sketch cv congeal by pwais on 2008-10-08 05:00:59 as **
  • Joint data alignment up to (lossy) transformations
    Computer Vision and Pattern Recognition, 2008. CVPR 2008. IEEE Conference on (2008), pp. 1-8.
    by A Vedaldi, G Guidi, S Soatto
    posted to sketch cv congeal by pwais on 2008-10-08 04:54:30 as **
  • MiniSat 2.1 and MiniSat++ 1.0 — SAT Race 2008 Editions
    (2008)
    by Niklas Sörensson, Niklas Eén
    posted to sat restarting cs241a by pwais on 2008-10-07 07:38:42 as **
  • A SAT Solver Primer
    Bulletin of the EATCS, Vol. 85 (2005), pp. 112-132.
    by David G Mitchell
    posted to sat restarting cs264a by pwais on 2008-10-06 21:06:22 as **
  • Gapped BLAST and PSI-BLAST: a new generation of protein database search programs.
    Nucleic Acids Res, Vol. 25, No. 17. (1 September 1997), pp. 3389-3402.
    by SF Altschul, TL Madden, AA Schäffer, J Zhang, Z Zhang, W Miller, DJ Lipman
    posted to blast bioinformatics by pwais on 2008-10-06 05:13:26 as ** along with 46 people and 4 groups dakelley knaseanka setar iakes miguel kaarsinogen bjorns bicko jmeppley chad_davis balajis nuke2005 eweaver david_parsons indigoviolet dullhunk robert dgront happy_manatee caporaso treangen kengg manzanita leelarcombe CitoJam jdelcampo aengisch rabio massivemayhem mirzazadeh azazello sujaikumar beatrizfernandez GustavoLacerda siebertm adijr viktor21614 mijam grottenolm bandrewfox edvin newton1234 mariakmejia granujilla marti CharlesM EisenLab biomedical-nlp Microbial-Ecology Plantandetc
  • Basic local alignment search tool.
    J Mol Biol, Vol. 215, No. 3. (5 October 1990), pp. 403-410.
    by SF Altschul, W Gish, W Miller, EW Myers, DJ Lipman
    posted to blast bioinformatics by pwais on 2008-10-06 05:12:41 as ** along with 45 people and 6 groups mmartin tharris dmp camster davidng evaf dragonrez jwm jmeppley Ayest RMGraze ea yas balajis alexg indigoviolet moborg arcticrasta dullhunk dgront caporaso michC myui BioNica CitoJam rabio timflutre lusk cjeans incovoma beatrizfernandez wenhan jtomasch GustavoLacerda sgoetz siebertm ichbins81 jofiel Thaverkamp shung marti hervelequere ashaytan benwei granujilla C. elegans / WormBase dbk-lab EisenLab T_lab biomedical-nlp Microbial-Ecology
  • BLAT--the BLAST-like alignment tool.
    Genome Res, Vol. 12, No. 4. (April 2002), pp. 656-664.
    by WJ Kent
    posted to blast bioinformatics by pwais on 2008-10-06 05:11:21 as ** along with 22 people and 1 group umit mmartin paszkows operon miguel pcahan1 Ayest indigoviolet mtagaya treangen michC djkt timflutre olympos cjeans wenhan natstreet antonkratz yoanjacquemin talponer bozdagd gpappas EisenLab
  • Boosting combinatorial search through randomization
    (1998), pp. 431-437.
    by Carla P Gomes, Bart Selman, Henry Kautz
    posted to search sat restarting cs264a by pwais on 2008-10-05 23:55:31 as **
  • Adaptive Restart Strategies for Conflict Driven SAT Solvers
    Theory and Applications of Satisfiability Testing – SAT 2008 (2008), pp. 28-33.
    by Armin Biere
    posted to sat restarting cs264a by pwais on 2008-10-04 21:37:16 as **
  • The Effect of Restarts on the Efficiency of Clause Learning
    (2007), pp. 2318-2323.
    by Jinbo Huang
    posted to sat restarting cs264a by pwais on 2008-10-04 21:36:17 as **
  • Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
    Journal of automated reasoning, Vol. 24 (2000)
    by Carla P Gomes, Bart Selman, Henry Kautz
    posted to sat restarting cs264a by pwais on 2008-10-04 21:36:00 as **
  • Local Restarts
    Theory and Applications of Satisfiability Testing – SAT 2008 (2008), pp. 271-276.
    by Vadim Ryvchin, Ofer Strichman
    posted to sat restarting cs264a by pwais on 2008-10-04 21:26:02 as **
  • Online Estimation of SAT Solving Runtime
    Vol. 4996 (2008), pp. 133-138.
    by Shai Haim, Toby Walsh
    edited by Hans K Büning, Xishun Zhao, Hans K Büning, Xishun Zhao
    posted to sat restarting cs264a by pwais on 2008-10-04 21:24:16 as **
  • Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms
    Principles and Practice of Constraint Programming (2008), pp. 630-634.
    by Gilles Audemard, Laurent Simon
    posted to sat restarting cs264a by pwais on 2008-10-04 21:21:48 as **
  • Protein Structure Prediction with Large Neighborhood Constraint Programming Search
    Principles and Practice of Constraint Programming (2008), pp. 82-96.
    by Ivan Dotu, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote
    posted to search programming constraint bioinformatics bioinfo bio by pwais on 2008-10-04 21:20:48 as **
  • Search Strategies for Rectangle Packing
    Principles and Practice of Constraint Programming (2008), pp. 52-66.
    by Helmut Simonis, Barry O’sullivan
    posted to search rectangle packing by pwais on 2008-10-04 21:18:15 as **
  • Propositional Satisfiability and Constraint Programming: A comparative survey
    ACM Comput. Surv., Vol. 38, No. 4. (2006)
    by Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
    posted to surveys sat programming cs264a constraint by pwais on 2008-10-03 23:45:36 as ** along with 3 people and 1 group benavides bfraser yijunyu tdg
  • Identification of genetic variants using bar-coded multiplexed sequencing
    Nat Meth, Vol. 5, No. 10. (October 2008), pp. 887-893.
    by David W Craig, John V Pearson, Szabolcs Szelinger, Aswin Sekar, Margot Redman, Jason J Corneveaux, Traci L Pawlowski, Trisha Laub, Gary Nunn, Dietrich A Stephan, Nils Homer, Matthew J Huentelman
    posted to ucla bioinfo bio algorithms by pwais on 2008-09-30 00:11:37 as ** along with 1 person matthewsuderman
  • The Roles a Tutor Plays: Effective Tutoring Techniques
    The English Journal, Vol. 69, No. 9. (1980), pp. 62-65.
    by Muriel Harris
    posted to tutoring education cse by pwais on 2008-09-27 00:40:05 as **
  • Nature's guide for mentors
    Nature, Vol. 447, No. 7146. (14 June 2007), pp. 791-797.
    by Adrian Lee, Carina Dennis, Philip Campbell
    posted to teaching mentoring cse by pwais on 2008-09-25 17:08:44 as ** along with 6 people brian junwang4 kgajos timflutre zwang tumo
  • Distributed agent-based air traffic flow management
    (2007), pp. 1-8.
    by Kagan Tumer, Adrian Agogino
    posted to vehicle scheduling routing planning multi agent by pwais on 2008-09-24 23:23:00 as **
  • The Athena factor : reversing the brain drain in science, engineering, and technology
    (2008)
    by Sylvia A Hewlett, Hidden
    posted to women in cse cs by pwais on 2008-09-24 22:06:11 as **
  • SBIM '07: Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling
    (2007)
    posted to sketch by pwais on 2008-09-05 19:08:30 as **
  • Designing a sketch recognition front-end: user perception of interface elements
    (2007), pp. 99-106.
    by Paul Wais, Aaron Wolin, Christine Alvarado
    posted to sketch by pwais on 2008-09-05 19:06:02 as read
  • A case study of retention practices at the University of Illinois at Urbana-Champaign
    (2008), pp. 412-416.
    by Tanya L Crenshaw, Erin W Chambers, Heather Metcalf
    posted to cse by pwais on 2008-09-01 20:35:13 as **
  • Limited discrepancy search
    Vol. 1 (1995), pp. 607-613.
    by William D Harvey, Matthew L Ginsberg
    posted to cs261a ginsberg search by pwais on 2008-08-19 19:51:48 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/pwais

    Result page: 1 2 3 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.