Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

masteraka's library [120 articles]

Recent papers added to masteraka's library.
  • The chase revisited
    (2008), pp. 149-158.
    by Alin Deutsch, Alan Nash, Jeff Remmel
    posted to data_exchange by masteraka on 2008-09-15 14:06:35 as ** along with 1 person anonyox
  • Understanding tractable decompositions for constraint satisfaction
    by Zoltan Miklos
    posted to no-tag by masteraka on 2008-08-01 15:46:13 as **
  • On the Parallel Complexity of Structural CSP Decomposition Methods
    by Zoltan Miklos
    posted to no-tag by masteraka on 2008-08-01 15:42:25 as **
  • Genetic algorithms for generalised hypertree decompositions
    European Journal of Industrial Engineering, Vol. 1, No. 3. (2007), pp. 317-340.
    by Nysret Musliu, Werner Schafhauser
    posted to no-tag by masteraka on 2008-08-01 15:33:58 as **
  • Tabu Search for Generalized Hypertree Decompositions
    (25-29 June 2007)
    by Nysret Musliu
    posted to no-tag by masteraka on 2008-08-01 15:26:36 as **
  • Generation of Tree Decompositions by Iterated Local Search
    Evolutionary Computation in Combinatorial Optimization (2007), pp. 130-141.
    by Nysret Musliu
    posted to no-tag by masteraka on 2008-08-01 15:23:41 as **
  • Constraint Satisfaction with Bounded Treewidth Revisited
    Principles and Practice of Constraint Programming - CP 2006 (2006), pp. 499-513.
    by Marko Samer, Stefan Szeider
    posted to no-tag by masteraka on 2008-08-01 15:22:51 as **
  • Local Search Algorithm for Unicost Set Covering Problem
    Advances in Applied Artificial Intelligence (2006), pp. 302-311.
    by Nysret Musliu
    posted to no-tag by masteraka on 2008-08-01 15:21:49 as **
  • Pure Nash equilibria: hard and easy games
    (2003), pp. 215-230.
    by Georg Gottlob, Gianluigi Greco, Francesco Scarcello
    posted to no-tag by masteraka on 2008-08-01 15:19:40 as ** along with 1 person Scis0000002
  • The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions
    (2005)
    by Georg Gottlob, Gianluigi Greco, Francesco Scarcello
    posted to no-tag by masteraka on 2008-08-01 15:18:15 as **
  • Generalized Hypertree Decompositions based on Hypergraph Partitioning
    (2007)
    by Artan Dermaku
    posted to no-tag by masteraka on 2008-08-01 15:13:43 as **
  • New Heuristic Methods for Tree Decompositions and Generalized Hypertree Decompositions
    (2006)
    by Werner Schafhauser
    edited by Georg Gottlob, Nysret Musliu
    posted to no-tag by masteraka on 2008-08-01 15:05:54 as **
  • Complexity and Applications of Edge-Induced Vertex-Cuts
    (31 Jul 2006)
    by Marko Samer, Stefan Szeider
    posted to hypergraphs by masteraka on 2008-08-01 15:03:28 as **
  • An algorithm for the acyclic hypergraph sandwich problem
    (2005)
    by Vlaadimir Gurvich, Nysret Musliu, Vladimir Oudalov, Marko Samer
    posted to hypergraphs by masteraka on 2008-08-01 15:01:50 as **
  • Heuristic Methods for Hypertree Decompositions
    (2005)
    by Artan Dermaku, Tobias Ganzow, Georg Gottlob, Ben Mcmahan, Nysret Musliu, Marko Samer
    posted to hypertree_decomposition by masteraka on 2008-08-01 14:57:10 as *****
  • A CSP Hypergraph Library
    (June 2005)
    by Tobias Ganzow, Georg Gottlob, Nysret Musliu, Marko Samer
    posted to hypergraphs by masteraka on 2008-08-01 14:51:36 as ***** along with 1 person gregtarr
  • Parallel Scientific Computation: A Structured Approach Using BSP and MPI
    (04 March 2004)
    by Rob Bisseling
    posted to no-tag by masteraka on 2008-07-10 17:48:21 as *****
  • Efficient Graph Representations (Fields Institute Monographs, 19)
    (01 June 2003)
    by Jeremy P Spinrad
    posted to no-tag by masteraka on 2008-07-10 00:44:16 as **
  • Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
    J. ACM, Vol. 18, No. 1. (January 1971), pp. 4-18.
    by Stephen A Cook
    posted to atm by masteraka on 2008-07-10 00:39:35 as **
  • Alternation
    J. ACM, Vol. 28, No. 1. (January 1981), pp. 114-133.
    by Ashok K Chandra, Dexter C Kozen, Larry J Stockmeyer
    posted to atm by masteraka on 2008-07-09 23:06:04 as ** along with 2 people lostinmidlands JakubSzymanik
  • Limits to Parallel Computation: P-Completeness Theory
    (06 April 1995)
    by Raymond Greenlaw, James H Hoover, Walter L Ruzzo
    posted to parallel_computation by masteraka on 2008-07-09 22:11:10 as ** along with 1 person AbnerCYH
  • Tree-size bounded alternation
    Journal of Computer and System Sciences, Vol. 21, No. 2. (October 1980), pp. 218-235.
    by Walter L Ruzzo
    posted to atm by masteraka on 2008-07-09 22:07:25 as **
  • Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics)
    (13 May 1999)
    by Paul Taylor
    posted to no-tag by masteraka on 2008-06-25 04:38:44 as ** along with 1 person mstone
  • Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
    (28 April 2006)
    by Robert Goldblatt
    posted to no-tag by masteraka on 2008-06-25 04:36:28 as ** along with 2 people brecknell robotact
  • Computational Category Theory (Prentice-Hall International Series in Computer Science)
    (01 June 1988)
    by DE Rydeheard, Burstall
    posted to no-tag by masteraka on 2008-06-25 04:16:28 as ** along with 2 people spl scis0000001
  • Hypertree-decomposition via Branch-decomposition
    by Marko Samer
    posted to hypertree_decomposition by masteraka on 2008-06-25 04:11:52 as **
  • Computational category theory
    (1988)
    by David E Rydeheard, Rod M Burstall
    posted to no-tag by masteraka on 2008-06-25 03:57:01 as ** along with 1 person mcclurmc
  • Category theory and models for parallel computation
    (1986), pp. 266-281.
    by G Winskel
    posted to category_theory parallel_computation by masteraka on 2008-06-25 03:44:42 as *****
  • A Categorical Primer
    (1997)
    by Chris Hillman
    posted to category_theory by masteraka on 2008-06-25 03:37:09 as ** along with 2 people MehmetBudak benchambers
  • Using MPI-2: Advanced Features of the Message Passing Interface (Scientific and Engineering Computation)
    (26 November 1999)
    by William Gropp, Ewing Lusk, Rajeev Thakur
    posted to mpi by masteraka on 2008-06-19 16:57:52 as **
  • Using MPI - 2nd Edition: Portable Parallel Programming with the Message Passing Interface (Scientific and Engineering Computation)
    (26 November 1999)
    by William Gropp, Ewing Lusk, Anthony Skjellum
    posted to mpi by masteraka on 2008-06-19 16:53:42 as ***** along with 1 person choonpeng
  • Fast hypergraph partition
    (1989), pp. 762-766.
    by AB Kahng
    posted to no-tag by masteraka on 2008-05-27 18:33:15 as **
  • Parallel Hypergraph Partitioning for Scientific Computing
    by Karen Devine, Erik G Boman, Robert Heaphy, Rob Bisseling, Umit Catalyurek
    posted to no-tag by masteraka on 2008-05-27 18:30:53 as **
  • An Empirical Comparison of CSP Decomposition Methods
    by Sathiamoorthy Subbarayan
    posted to no-tag by masteraka on 2008-05-27 18:24:16 as **
  • H.R.: Backtracking procedures for hypertree, hyperspread and connected hypertree decomposition of CSPs - CiteSeerX
    posted to no-tag by masteraka on 2008-05-27 18:22:08 as **
  • Efficient Parallel Algorithms for Graphs of Bounded Tree-Width
    Journal of Algorithms, Vol. 20, No. 1. (January 1996), pp. 20-44.
    by Jens Lagergren
    posted to tree_decomposition by masteraka on 2008-05-25 18:24:18 as ****
  • A Backtracking-Based Algorithm for Computing Hypertree-Decompositions
    (14 Jan 2007)
    by Georg Gottlob, Marko Samer
    posted to hypertree_decomposition by masteraka on 2008-04-22 18:34:05 as ***** along with 1 person gregtarr
  • Some intersection theorems for ordered sets and graphs
    Journal of Combinatorial Theory, Series A, Vol. 43, No. 1. (September 1986), pp. 23-37.
    by FRK Chung, RL Graham, P Frankl, JB Shearer
    posted to hypertree_decomposition by masteraka on 2008-04-16 16:20:53 as **
  • A comparison of structural CSP decomposition methods
    Artificial Intelligence, Vol. 124, No. 2. (December 2000), pp. 243-282.
    by Georg Gottlob, Nicola Leone, Francesco Scarcello
    posted to hypertree_decomposition by masteraka on 2008-04-07 23:57:53 as *****
  • Constraint solving via fractional edge covers
    (2006), pp. 289-298.
    by Martin Grohe, Dániel Marx
    posted to hypertree_decomposition by masteraka on 2008-04-07 23:53:57 as ***** along with 1 person anonyox
  • XML data exchange: consistency and query answering
    (2005), pp. 13-24.
    by Marcelo Arenas, Leonid Libkin
    posted to data_exchange xml by masteraka on 2008-03-19 16:50:16 as **
  • Aspects Of Structural Combinatorics (Graph Homomorphisms and Their Use)
    by Jaroslav Nesetril
    posted to no-tag by masteraka on 2008-03-11 23:04:27 as **
  • Category Theory Lecture Notes
    (December 2001)
    by Daniele Turi
    posted to no-tag by masteraka on 2008-03-11 22:27:50 as **
  • A monadic approach to polycategories
    Electronic Notes in Theoretical Computer Science, Vol. 69 (February 2003), pp. 183-208.
    by J Koslowski
    posted to category_theory by masteraka on 2008-03-11 21:47:56 as **
  • Generalized hypertree decompositions: np-hardness and tractable variants
    (2007), pp. 13-22.
    by Georg Gottlob, Zoltan Miklos, Thomas Schwentick
    posted to hypertree_decomposition by masteraka on 2008-02-11 22:43:12 as ** along with 1 person anonyox
  • Efficient Core Computation in Data Exchange
    (2006)
    by Georg Gottlob, Alan Nash
    posted to cores data_exchange by masteraka on 2008-02-11 22:40:19 as *****
  • Data exchange: computing cores in polynomial time
    (2006), pp. 40-49.
    by Georg Gottlob, Alan Nash
    posted to cores data_exchange by masteraka on 2008-02-02 00:38:01 as ***** along with 1 person anonyox
  • The description logic handbook: theory, implementation, and applications
    (2003)
    by Franz Baader, Diego Calvanese, Deborah L Mcguinness, Daniele Nardi, Peter F Patel-Schneider
    edited by Franz Baader, Diego Calvanese, Deborah L Mcguinness, Daniele Nardi, Peter F Patel-Schneider
    posted to no-tag by masteraka on 2008-02-02 00:36:43 as ** along with 3 people leechuck anonyox Wurlitzer
  • Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
    (23 August 1991)
    by Andrea Asperti, Giuseppe Longo
    posted to category_theory by masteraka on 2008-02-01 04:56:24 as ** along with 2 people and 1 group aleks alec Compilers
  • Toposes, Triples and Theories
    Grundlehren der mathematischen Wissenschaften, Vol. 278 (1985)
    by Michael Barr, Charles Wells
    posted to category_theory by masteraka on 2008-02-01 04:51:00 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/masteraka

    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.