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

lcigler library [104 articles]

Статьи, недавно добавленные в библиотеку lcigler .
  • Semiring-based constraint satisfaction and optimization
    J. ACM, Vol. 44, No. 2. (March 1997), pp. 201-236.
    by Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    posted to constraints softconstraints by lcigler on 2008-04-04 09:23:56 as **
  • Valued Constraint Satisfaction Problems: Hard and Easy Problems
    (1995)
    by Thomas Schiex, Hélène Fargier, Gerard Verfaillie
    edited by Chris Mellish
    posted to constraints softconstraints by lcigler on 2008-04-04 09:21:23 as **
  • Loopy Belief Propagation for Approximate Inference: An Empirical Study
    pp. 467-475.
    by Kevin P Murphy, Yair Weiss, Michael I Jordan
    posted to bayesiannetworks beliefpropagation by lcigler on 2008-03-20 22:31:54 as *
  • Probabilistic Reasoning in Intelligent Systems : Networks of Plausible Inference
    (01 September 1988)
    by Judea Pearl
    posted to bayesiannetworks inference probability by lcigler on 2008-03-20 20:30:36 as ** along with 11 people quianominorleo naegele robotact tdlt leidner pcarbo fheintz wnpx wasteland93 fsteeg 1like
  • Understanding belief propagation and its generalizations
    (2003), pp. 239-269.
    by Jonathan S Yedidia, William T Freeman, Yair Weiss
    posted to bayesiannetworks inference probability by lcigler on 2008-03-19 09:41:49 as ** along with 8 people XIANG mmcgloho matjes bhaddow dowlingj rsantana ElQuijote42 zeppe
  • Up and down mini-bucket: a scheme for approximating combinatorial optimization tasks
    (2001)
    by J Larrosa, K Kask, R Dechter
    posted to bayesiannetworks bucketelimination inference probability by lcigler on 2008-03-15 16:04:49 as *
  • Computers and Intractability : A Guide to the Theory of NP-Completeness (Series of Books in the Mathematical Sciences)
    (15 January 1979)
    by MR Garey, DS Johnson
    posted to algorithms complexity np-completeness by lcigler on 2008-03-14 10:37:21 as * along with 11 people creswick greenw ima danielaugot chechetka fdr eporreca Fin payton345 djlin tkollar
  • Random generation of combinatiorial structures from a uniform distribution
    Automata, Languages and Programming (1985), pp. 290-299.
    by Mark Jerrum
    posted to combinatorics complexity graphtheory probability by lcigler on 2008-03-14 09:53:09 as **
  • Counting, Sampling and Integrating: Algorithms and Complexity (Lectures in Mathematics. ETH Zürich)
    (28 April 2003)
    by Mark Jerrum
    posted to algorithms complexity counting sampling by lcigler on 2008-03-14 09:13:02 as ** along with 1 person AbnerCYH
  • In Pursuit of the Holy Grail
    Constraints, Vol. 2, No. 1. (1 April 1997), pp. 57-61.
    by Eugene C Freuder
    posted to constraints survey by lcigler on 2008-03-13 19:44:14 as **
  • On Reading Sketch Maps
    (1977)
    by AK Mackworth
    posted to consistency constraints generalizedarcconsistency by lcigler on 2008-03-06 12:25:21 as **
  • GRAPH: Generating Radiolink frequency Assignment Problems Heuristically
    (1995)
    by H van Benthem
    posted to constraints problemgeneration by lcigler on 2008-03-05 21:50:33 as **
  • Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
    Constraints, Vol. 4, No. 3. (1999), pp. 199-240.
    by S Bistarelli, U Montanari, F Rossi, T Schiex, G Verfaillie, H Fargier
    posted to constraints softconstraints survey by lcigler on 2008-02-18 12:33:03 as **
  • Radio Link Frequency Assignment
    Constraints, Vol. 4, No. 1. (1 February 1999), pp. 79-89.
    by B Cabon, S de Givry, L Lobjois, T Schiex, JP Warners
    posted to benchmark constraints softconstraints by lcigler on 2008-02-18 10:41:02 as **
  • CSP LIB: A Benchmark Library for Constraints
    (1999), pp. 480-481.
    by Ian P Gent, Toby Walsh
    posted to benchmark constraints library by lcigler on 2008-02-11 10:54:54 as **
  • Inference in belief networks: A procedural guide
    International Journal of Approximate Reasoning, Vol. 15, No. 3. (1996), pp. 225-263.
    by C Huang, A Darwiche
    posted to bayesiannetworks inference probability by lcigler on 2008-02-09 19:57:24 as **
  • Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems
    Journal of the Royal Statistical Society. Series B (Methodological), Vol. 50, No. 2. (1988), pp. 157-224.
    by SL Lauritzen, DJ Spiegelhalter
    posted to bayesiannetworks expertsystems inference probability by lcigler on 2008-02-08 14:11:51 as ** along with 4 people roys tmmurali wasteland93 sutovsky
  • Generalized Belief Propagation
    (2000), pp. 689-695.
    by Jonathan S Yedidia, William T Freeman, Yair Weiss
    posted to bayesiannetworks inference posteriorprobability probability by lcigler on 2008-02-06 20:51:31 as ** along with 4 people yaroslavvb rsantana markusd roys
  • Constraint programming: In pursuit of the holy grail
    (1999)
    by R Bartak
    posted to constraints survey by lcigler on 2008-02-06 10:57:32 as **
  • Constraint Satisfaction with Preferences
    (2001)
    by H Rudova
    posted to constraints softconstraints by lcigler on 2008-02-06 10:27:22 as **
  • notes A general stochastic approach to solving problems with hard and soft constraints
    (1996)
    by H Kautz, B Selman, Y Jiang
    posted to constraints localsearch sat softconstraints by lcigler on 2008-02-06 10:07:34 as read
  • Partial Constraint Satisfaction
    (1989), pp. 278-283.
    by Eugene C Freuder
    posted to constrainthierarchies constraints optimization by lcigler on 2008-02-04 10:50:10 as **
  • Constraint hierarchies
    Over-Constrained Systems (1996), pp. 23-62.
    by Alan Borning, Bjorn Freeman-Benson, Molly Wilson
    posted to constrainthierarchies constraints by lcigler on 2008-02-04 10:36:56 as **
  • An incremental constraint solver
    Commun. ACM, Vol. 33, No. 1. (January 1990), pp. 54-63.
    by Bjorn N Freeman-Benson, John Maloney, Alan Borning
    posted to constrainthierarchies constraints by lcigler on 2008-02-03 19:37:32 as **
  • X-Gen: a random test-case generator for systems and SoCs
    High-Level Design Validation and Test Workshop, 2002. Seventh IEEE International (2002), pp. 145-150.
    by R Emek, I Jaeger, Y Naveh, G Bergman, G Aloni, Y Katz, M Farkash, I Dozoretz, A Goldin, A Goldin
    posted to constraints hardwareverification ibm testgeneration by lcigler on 2008-02-03 15:28:24 as **
  • Generalizing AllDifferent: The SomeDifferent Constraint
    Principles and Practice of Constraint Programming - CP 2006 (2006), pp. 468-483.
    by Yossi Richter, Ari Freund, Yehuda Naveh
    posted to alldifferent constraints globalconstraints by lcigler on 2008-02-03 15:22:17 as **
  • Random Stimuli Generation for Functional Hardware Verification as a CP Application
    Principles and Practice of Constraint Programming - CP 2005 (2005), pp. 882-882.
    by Yehuda Naveh, Roy Emek
    posted to constraints hardwareverification testgeneration by lcigler on 2008-02-03 15:20:59 as **
  • Genesys-Pro: innovations in test program generation for functional processor verification
    IEEE Design & Test of Computers, Vol. 21, No. 2. (2004), pp. 84-93.
    by A Adir, E Almog, L Fournier, E Marcus, M Rimon, M Vinov, A Ziv
    posted to constraints processors testgeneration by lcigler on 2008-02-03 15:14:56 as **
  • Test Generation for Microprocessors
    IEEE Trans. Comput., Vol. 29, No. 6. (June 1980), pp. 429-441.
    by SM Thatte, JA Abraham
    posted to processors testgeneration by lcigler on 2008-02-03 14:57:11 as read
  • Model Based Test Generation for Processor Verification
    by Y Lichtenstein, Y Malca, A Aharon
    posted to processors testgeneration verification by lcigler on 2008-02-03 11:02:23 as **
  • Artificial Intelligence: A Modern Approach (2nd Edition)
    (20 December 2002)
    by Stuart J Russell, Peter Norvig
    posted to ai bayesiannetworks book planning by lcigler on 2008-02-03 10:44:32 as read along with 39 people and 7 groups cyph3r jasmithoffice tkollar napvasconcelos mapio korakot creswick kmregan harald leidner kutabar pajoma jounih BarrosH awllee gonium hansjoergmueller msn pilho majak aniak Nightscape d_burfoot fcamel ephel hukkinen PaulBHartzog roland_ewald fmarquar incognito 1like fdr serebryakov uniqueraihan waghsk boomi arasbm csacca spinaltap526 Philosophy_of_Information Blog_and_Wiki_Research FAL musil dIEMoSIRIS MuSAMA MoSi-Rostock
  • Functional verification methodology for microprocessors using the Genesys test-program generator
    (1999)
    by Laurent Fournier, Yaron Arbetman, Moshe Levinger
    posted to constraints functionalverification processors testgeneration by lcigler on 2008-02-03 10:34:34 as **
  • Automated software test data generation
    Transactions on Software Engineering, Vol. 16, No. 8. (1990), pp. 870-879.
    by B Korel
    posted to software testgeneration by lcigler on 2008-01-31 15:02:48 as ** along with 2 people sjgaller joaoarthurbm
  • Search-based software test data generation: A survey
    Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
    by P Mcminn
    posted to constraints software survey testgeneration by lcigler on 2008-01-28 14:34:43 as **
  • Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation
    Hardware and Software, Verification and Testing (2007), pp. 16-33.
    by Amir Nahir, Yossi Shiloach, Avi Ziv
    posted to linearprogramming scheduling testgeneration by lcigler on 2008-01-27 18:10:19 as read
  • Path-Based System Level Stimuli Generation
    Hardware and Software, Verification and Testing (2006), pp. 1-13.
    by Shady Copty, Itai Jaeger, Yoav Katz
    posted to hardwareverification testgeneration by lcigler on 2008-01-27 18:08:43 as read
  • Cycle-Cutset Sampling for Bayesian Networks
    Advances in Artificial Intelligence (2003), pp. 994-994.
    by Bozhena Bidyuk, Rina Dechter
    posted to bayesiannetworks constraints probability sampling by lcigler on 2008-01-27 10:58:23 as read
  • Advances in Artificial Intelligence: 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June ... (Lecture Notes in Computer Science)
    (05 August 2003)
    by Brahim Chaib-Draa
    posted to ai constraints proceedings by lcigler on 2008-01-27 10:55:44 as **
  • Bucket elimination: A unifying framework for probabilistic inference
    (1996), pp. 211-219.
    by Rina Dechter
    edited by E Horvitz, F Jensen
    posted to bucketelimination probability by lcigler on 2008-01-27 10:50:28 as **
  • On Stochastic Versions of the EM Algorithm
    No. RR-2514.
    by Gilles Celeux, Didier Chauveau, Jean Diebolt
    posted to machinelearning mcmc statistics by lcigler on 2008-01-26 10:21:54 as **
  • Markov Chain Monte Carlo in Practice
    (01 December 1995)
    by WR Gilks
    posted to markovchains mcmc montecarlo by lcigler on 2008-01-24 15:58:07 as ** along with 12 people and 1 group przem markusd abbie_riner ldietz fredguilloux rpadams eme Borelli metamerist wasteland93 Xavier roys astro
  • Monte Carlo Sampling Methods Using Markov Chains and Their Applications
    Biometrika, Vol. 57, No. 1. (1970), pp. 97-109.
    by WK Hastings
    posted to markovchains optimization simulatedanealling statistics by lcigler on 2008-01-24 15:55:23 as * along with 4 people markusd bfraser icosma rabio
  • Solving the generalized mask constraint for test generation of binary floating point add operation
    Theoretical Computer Science, Vol. 291, No. 2. (5 January 2003), pp. 183-201.
    by Abraham Ziv, Laurent Fournier
    posted to constraints floatingpoint testgeneration by lcigler on 2007-12-16 12:37:51 as **
  • Writing Testbenches: Functional Verification of HDL Models, Second Edition
    (01 February 2003)
    by Janick Bergeron
    posted to book hardwareverification hdl model-checking softwareverification testing by lcigler on 2007-12-16 12:36:51 as ** along with 1 person tvanas
  • Verification of the IBM RISC System/6000 by a dynamic biased pseudo-random test program generator
    IBM Syst. J., Vol. 30, No. 4. (1991), pp. 527-538.
    by A Aharon, B Dorfman, E Gofman, M Leibowitz, V Schwartzburd, A Bar-David
    posted to hardwareverification testgeneration by lcigler on 2007-12-16 12:30:26 as ** along with 1 person gvdh
  • An introduction to MCMC for machine learning
    (2003)
    by C Andrieu, N de Freitas, A Doucet, M Jordan
    posted to machinelearning markovchains tutorial by lcigler on 2007-12-16 11:46:10 as ** along with 13 people and 1 group Hans45 tresch RhysU ansobol mshafiei ecome pool007 jvangael sugarexpletive Vezhnick Xavier vlachmore pkammerer LTN
  • Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... Papers (Lecture Notes in Computer Science)
    (22 March 2007)
    posted to hardwareverification proceedings softwareverification by lcigler on 2007-12-16 11:40:28 as **
  • Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
    (11 May 2006)
    posted to hardwareverification proceedings softwareverification testing by lcigler on 2007-12-16 11:34:21 as **
  • Scheduling-based test-case generation for verification of multimedia SoCs
    (2006), pp. 348-351.
    by Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen
    posted to constraints hardwareverification scheduling by lcigler on 2007-12-16 11:31:38 as **
  • Using edge direction information for measuring blocking artifacts of images
    Multidimensional Systems and Signal Processing, Vol. 18, No. 4. (12 December 2007), pp. 297-308.
    by F Pan, X Lin, S Rahardja, E Ong, W Lin
    posted to imageprocessing by lcigler on 2007-12-13 13:55:06 as read along with 1 person momarcin
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/lcigler

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