Register | Log in | FAQ      [?] 

Tag constraints [196 articles]

Recent papers classified by the tag constraints.
  • Simplify: a theorem prover for program checking
    J. ACM, Vol. 52, No. 3. (May 2005), pp. 365-473.
    by David Detlefs, Greg Nelson, James B Saxe
    posted to constraints model_checking by zuleger on 2008-08-05 12:34:12 as **** along with 1 person sjgaller
  • The Calculus of Computation: Decision Procedures with Applications to Verification
    (03 September 2007)
    by Aaron R Bradley, Zohar Manna
    posted to constraints program_verification static_program_analysis by zuleger on 2008-08-28 14:05:39 as **
  • Model Checking in CLP
    (1999)
    by G Delzanno, A Podelski
    posted to constraints model_checking by zuleger on 2008-08-05 11:38:34 as **** along with 1 person huitseeker
  • Program analysis as constraint solving
    SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 281-292.
    by Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
    posted to constraints counterexamples program_verification by zuleger on 2008-08-28 11:54:12 as read
  • Structured motifs search.
    J Comput Biol, Vol. 12, No. 8. (October 2003), pp. 1065-1082.
    by M Morgante, A Policriti, N Vitacolonna, A Zuccolo
    posted to 22 cited constraints graph smartfinder suffixtree te by yoanjacquemin on 2008-01-17 13:27:30 as read along with 1 person and 2 groups bsmagic Bioinformatics bioinplant
  • On Reformulating Planning as Dynamic Constraint Satisfaction
    Lecture Notes in Computer Science, Vol. 1864 (2000), pp. 271-??.
    by Jeremy Frank, Ari K Jonsson, Paul Morris
    posted to constraint constraints csp planning procedural by woutervdb on 2007-03-18 20:27:55 as read
  • Clustering with instance-level constraints
    (# 2000), pp. 1103-1110.
    by K Wagstaff, C Cardie
    posted to clustering constraints by wkiri on 2007-09-01 04:55:02 as read along with 2 people sb-3000 fcamel
  • Constraint-Based Rule Mining in Large, Dense Databases
    Data Mining and Knowledge Discovery, Vol. 4, No. 2. (10 July 2000), pp. 217-240.
    by Roberto Bayardo, Rakesh Agrawal, Dimitrios Gunopulos
    posted to association constraints datamining dense improvement mining rules by wilmegape on 2007-10-16 15:14:20 as *** along with 1 person and 1 group michaelmampaey ADMiRes
  • Clustering with Instance-level Constraints
    (2000), pp. 1103-1110.
    by Kiri Wagstaff, Claire Cardie
    posted to clustering constraints by vlachmore on 2007-10-04 18:08:07 as read
  • Introducing statistical dependencies and structural constraints in variable-length sequence models
    Vol. 1147 (1996), pp. 156-167.
    by Sabine Deligne, Fran\ccois Yvon, Frédéric Bimbot
    posted to constraints dependencies models sequence statistical structural variable-length by vlachmore on 2008-02-08 15:46:36 as **
  • Constraint-based motion optimization using a statistical dynamic model
    ACM Trans. Graph., Vol. 26, No. 3. (July 2007)
    by Jinxiang Chai, Jessica K Hodgins
    posted to constraints dynamics motion_optimization by truongducthang on 2007-08-15 04:56:45 as ****
  • Lower-order penalty methods for mathematical programs with complementarity constraints
    Optimization Methods and Software, Vol. 19, No. 6., 693.
    by XQ Yang, XX Huang
    posted to complementarity constraints by tri on 2006-08-28 06:48:26 as **
  • J Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
    by Jeroen Keppens, Qiang Shen
    posted to ai constraints design by titusmaximus on 2007-06-28 23:47:30 as *****
  • An Extensible Framework for Repairing Constraint Violations
    (1996), pp. 41-56.
    by Michael Gertz
    posted to constraints database inconsistency by thau on 2007-10-05 18:59:18 as **
  • Set Constraints are the Monadic Class
    (1993), pp. 75-83.
    by Leo Bachmair, Harald Ganzinger, Uwe Waldmann
    posted to constraints logic monadic by thau on 2007-10-04 19:03:22 as **
  • Solving Database Satisfiability Problems
    (1999), pp. 122-126.
    by Francois Bry, Sunna Torge
    posted to constraints database inconsistency by thau on 2007-10-05 19:00:48 as **
  • Specifying Separation of Duty Constraints in BPEL4People Processes
    Business Information Systems (2008), pp. 273-284.
    by Jan Mendling, Karsten Ploesser, Mark Strembeck
    posted to bpel bpel4people compliance constraints rbac by sryll on 2008-05-27 17:45:40 as read
  • Access Control and Authorization Constraints for WS-BPEL
    (2006), pp. 275-284.
    by Elisa Bertino, Jason Crampton, Federica Paci
    posted to bpel business-process-constraint-language constraints rbac by sryll on 2008-05-27 18:22:30 as **
  • Putting Yukawa-like Modified Gravity (MOG) on the test in the Solar System
    (21 Sep 2008)
    by Lorenzo Iorio
    posted to constraints by shanki on 2008-09-23 08:55:53 as **
  • Astrophysical Tests of Lorentz and CPT Violation with Photons
    (17 Sep 2008)
    by Alan Kostelecky, Matthew Mewes
    posted to violation tests lorentz constraints by shanki on 2008-09-19 11:50:20 as **** along with 1 person kiwidamien
  • Mechanical constraints as computational constraints in tabletop tangible interfaces
    (2007), pp. 809-818.
    by James Patten, Hiroshi Ishii
    posted to constraints tabletop tangible by shakurai on 2007-05-09 05:33:39 as ** along with 1 person cbogart
  • Mining Frequent Item Sets with Convertible Constraints
    (2001), pp. 433-442.
    by Jian Pei, Jiawei Han, Laks VS Lakshmanan
    posted to constraints datamining by seungwon on 2007-09-30 07:43:04 as **
  • Constrained dependencies
    Theoretical Computer Science, Vol. 173, No. 1. (1997), pp. 113-149.
    by Michael J Maher
    posted to constraints by seabay on 2007-04-26 18:36:38 as ** along with 1 person and 6 groups knowlengr Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement DarkMarkGroup
  • notes Modelling secure multiagent systems
    (2003), pp. 859-866.
    by Haralambos Mouratidis, Paolo Giorgini, Gordon Manson
    posted to capabilities constraints requirements secure security by sdehousse on 2007-08-30 10:57:11 as read along with 1 group IMRU
  • Constraint Logic Programming: A Survey
    Journal of Logic Programming, Vol. 19/20 (1994), pp. 503-581.
    by Joxan Jaffar, Michael J Maher
    posted to constraints logic by scottmoody on 2005-11-06 03:20:30 as **** along with 1 person and 1 group zgu666 semantic-multicast-routing
  • Time Constraints in Workflow Systems
    Lecture Notes in Computer Science, Vol. 1626 (1999), pp. 286-??.
    by Johann Eder, Euthimios Panagos, Michael Rabinovich
    posted to constraints time by Scis0000002 on 2008-05-08 14:38:43 as **
  • Constraints on the Self-Interaction Cross-Section of Dark Matter from Numerical Simulations of the Merging Galaxy Cluster 1E 0657-5
    (2 Apr 2007)
    by Scott W Randall, Maxim Markevitch, Douglas Clowe, Anthony H Gonzalez, Marusa Bradac
    posted to bounds constraints dark-matter self-interacting by Scis0000002 on 2008-05-06 03:11:43 as ** along with 1 person rsuhada
  • Heyting Domains for Constraint Abduction
    AI 2006: Advances in Artificial Intelligence (2006), pp. 9-18.
    by Michael Maher
    posted to constraints lattice-of-constraints by Scis0000002 on 2008-04-24 14:01:04 as **
  • Standards of American Legislation: An Estimate of Restrictive and Constructive Factors.
    (01 April 2006)
    by Ernst Freund
    posted to regulative-systems regulative-frameworks potentials normative-systems normative-frameworks legal-frameworks justices justice-theories justice-frameworks higher-dimensional happiness freedom energies correlations control-systems control-frameworks constructive-justice-sciences constructive-justice constraints computational-justice-sciences computational-justice by Scis0000002 on 2008-10-10 15:49:51 as **
  • Maximising Happiness?
    by Bruno S Frey, Alois Stutzer
    posted to survivability pursuit-of-happiness optimality neuroscience life liberty justices hyperefficiency happiness goals energies constraints by Scis0000002 on 2007-07-04 12:30:19 as **
  • Consumption and Liquidity Constraints: An Empirical Investigation
    The Journal of Political Economy, Vol. 97, No. 2. (1989), pp. 305-346.
    by Stephen P Zeldes
    posted to constraints liquidity by Scis0000002 on 2008-02-23 15:26:09 as ** along with 1 person toomash
  • A Constraint Programming Agent for Automated Trading
    by Erik Aurell, Magnus Boman, Mats Carlsson, Joakim Eriksson, Niclas Finne, Sverker Janson, Per Kreuger, Lars Rasmusson
    posted to constraints trading-agents by Scis0000002 on 2008-01-09 00:14:53 as **
  • Classifying under Computational Resource Constraints: Anytime Classification Using Probabilistic Estimators
    by Georey W Geoff
    posted to constraints resource by scis0000001 on 2006-09-15 20:42:27 as **
  • Satisfiability of Quantitative Temporal Constraints with Multiple Granularities
    (1997), pp. 435-449.
    by Claudio Bettini, Xiaoyang S Wang, Sushil Jajodia
    posted to temporal performance hierarchy granularity emergence csp constraints by scis0000001 on 2007-02-02 14:19:05 as **
  • Automatic generation of implied and induced constraints
    (2001)
    by S Colton, I Miguel
    posted to constraints generation by scis0000001 on 2006-11-24 13:37:24 as **
  • Constraint Generation via Automated Theory Formation
    Lecture Notes in Computer Science, Vol. 2239 (2001), pp. 575-??.
    by Simon Colton, Ian Miguel
    posted to constraints csp generation theory-formation by scis0000001 on 2006-11-24 13:36:25 as **
  • Constraint-Based Retrieval of Engineering Design Cases: Context as Constraints
    (1996)
    by T Bilgic, M Fox
    posted to constraints context design engineering by scis0000001 on 2007-03-14 13:29:29 as **
  • Specifying the Merging of Desires into Goals
    by Mehdi Dastani, Leendert van der Torre
    posted to bias cognitive-agents constraints goals logics merging needs by scis0000001 on 2007-02-10 13:44:09 as **
  • Constraints and Universal Algebra
    Annals of Mathematics and Artificial Intelligence, Vol. 24, No. 1-4. (1998), pp. 51-67.
    by Peter Jeavons, David Cohen, Justin Pearson
    posted to all-algebraic-structures all-relational-structures chu-space constraints csp universal-algebra by scis0000001 on 2007-02-13 10:35:57 as **
  • Uncontrollable computational growth in theoretical physics
    International Journal of Theoretical Physics, Vol. 24, No. 12. (1 December 1985), pp. 1143-1157.
    by R Cuykendall
    posted to computational-physics constraints parallelization by scis0000001 on 2007-04-27 14:44:52 as **
  • Infinite Behaviour and Fairness in Concurrent Constraint Programming
    (1992), pp. 348-383.
    by Marta Z Kwiatkowska
    posted to domain-theory constraints concurrency ccp by scis0000001 on 2007-02-04 16:20:27 as **
  • Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem
    (1998), pp. 240-247.
    by Daniel J Clancy, Benjamin Kuipers
    posted to temporal simulation qualitative csp constraints by scis0000001 on 2007-01-19 19:08:03 as **
  • A classification of cognitive agents
    (2002)
    by M Dastani, L van der Torre
    posted to beliefs bias classification cognitive-agents constraints desires goals intentions mas obligations by scis0000001 on 2007-02-10 14:02:46 as **
  • Contextual constraints on synonymous codon choice.
    Journal of molecular biology, Vol. 163, No. 3. (25 January 1983), pp. 363-376.
    by DJ Lipman, WJ Wilbur
    posted to codon constraints mrna third usage by saunders on 2008-04-14 16:37:56 as **
  • Planning in Interplanetary Space: Theory and Practice
    (2000), pp. 177-186.
    by Ari K Jonsson, Paul H Morris, Nicola Muscettola, Kanna Rajan, Benjamin D Smith
    posted to action constraints durative planning by rwm101 on 2006-09-22 22:25:16 as **
  • Scatter Search in software testing, comparison and collaboration with Estimation of Distribution Algorithms
    European Journal of Operational Research, Vol. 169, No. 2. (1 March 2006), pp. 392-412.
    by Ramon Sagarna, Jose A Lozano
    posted to constraints edas tree umda by rsantana on 2007-08-17 12:11:18 as read
  • Approximate inference and constrained optimization
    (2003)
    by T Heskes, K Albers, B Kappen
    posted to constraints inference optimization propagation by rsantana on 2007-04-26 18:13:13 as *****
  • Solving Constraint Satisfaction Problems through Belief Propagation-guided decimation
    (11 Sep 2007)
    by Andrea Montanari, Federico Ricci-Tersenghi, Guilhem Semerjian
    posted to constraints decimation inference optimization propagation by rsantana on 2007-09-14 21:55:01 as ***** along with 2 people and 6 groups A_Olympia euclid Philosophy_of_Information Blog_and_Wiki_Research Algorithms metric_embeddings TCS Polytopes
  • Survey propagation: an algorithm for satisfiability
    (4 Apr 2006)
    by A Braunstein, M Mezard, R Zecchina
    posted to constraints graphical-models graphs optimization propagation by rsantana on 2007-07-24 10:58:16 as read along with 2 people and 4 groups ansobol euclid Algorithms metric_embeddings TCS Polytopes
  • Survey propagation as local equilibrium equations
    Journal of Statistical Mechanics: Theory and Experiment, Vol. 2004, No. 06. (2004)
    by Alfredo Braunstein, Riccardo Zecchina
    posted to cavity-method constraints inference optimization propagation by rsantana on 2007-07-24 11:01:21 as ** along with 2 people john_ardelius pr-ism
    • Note: You may cite this page as: http://www.citeulike.org/tag/constraints

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