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

Ключевое слово csp [137 articles]

Recent papers classified by the tag csp.
  • The Theory and Practice of Concurrency
    (1997)
    by AW Roscoe, CAR Hoare, Richard Bird
    posted to csp by zbchen on 2008-09-16 11:28:00 as ** along with 1 person and 1 group AndreasSchropp CSP
  • The complexity of soft constraint satisfaction
    Artificial Intelligence, Vol. 170, No. 11. (August 2006), pp. 983-1016.
    by David A Cohen, Martin C Cooper, Peter G Jeavons, Andrei A Krokhin
    posted to csp by yipjustin on 2006-09-07 10:52:46 as **
  • Reduction operations in fuzzy or valued constraint satisfaction
    Fuzzy Sets Syst., Vol. 134, No. 3. (March 2003), pp. 311-342.
    by Martin C Cooper
    posted to csp by yipjustin on 2006-09-07 10:31:36 as **
  • A Comparison of Structural CSP Decomposition Methods
    (1999), pp. 394-399.
    by G Gottlob, N Leone, F Scarcello
    posted to csp decomposition tree by yipjustin on 2006-08-31 09:44:17 as ** along with 1 person gregtarr
  • A Generic Arc-Consistency Algorithm and its Specializations
    Artificial Intelligence, Vol. 57, No. 2--3. (1992), pp. 291-321.
    by Pascal Van Hentenryck, Yves Deville, Choh M Teng
    posted to ac-4 arc-consistency constraint csp generic propagation satisfaction by woutervdb on 2007-03-22 17:26:21 as read
  • Constraint Processing (The Morgan Kaufmann Series in Artificial Intelligence)
    (22 May 2003)
    by Rina Dechter
    posted to constraint csp by woutervdb on 2007-03-18 20:17:31 as read along with 3 people and 1 group mahler lcigler jkominek Rightscom
  • Structure-Driven Algorithms for Truth Maintenance
    Artificial Intelligence, Vol. 82, No. 1-2. (1996), pp. 1-2.
    by Rina Dechter, Avi Dechter
    posted to automated csp dynamic inference reasoning tms by woutervdb on 2007-03-18 20:37:21 as *****
  • Ordering heuristics for arc consistency algorithms
    (1992)
    by R Wallace, E Freuder
    posted to constraint csp heuristics by woutervdb on 2007-03-25 14:52:37 as ****
  • notes The lexical nature of syntactic ambiguity resolution [corrected]
    Psychol Rev, Vol. 101, No. 4. (October 1994), pp. 676-703.
    by MC MacDonald, NJ Pearlmutter, MS Seidenberg
    posted to csp nlp semantics by woutervdb on 2007-05-14 21:30:34 as read
  • 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
  • Implementing Constraint Relaxation over Finite Domains using ATMS
    No. 1106. (1996), pp. 265-280.
    by Narendra Jussien, Patrice Boizumault
    edited by Michael Jampel, Eugene Freuder, Michael Maher
    posted to atms constraint csp relaxation by woutervdb on 2007-03-29 16:35:34 as read
  • A Population and Interval Constraint Propagation Algorithm
    by Vincent Barichard, Jin K Hao
    posted to csp interval multiobjective by Tristramg on 2007-12-13 11:08:25 as read
  • Partial constraint satisfaction
    Artif. Intell., Vol. 58, No. 1-3. (1992), pp. 21-70.
    by Eugene C Freuder, Richard J Wallace
    posted to csp by tremblay_guy on 2006-08-02 15:18:11 as **
  • A Formal Framework for Web Services Coordination
    Electronic Notes in Theoretical Computer Science, Vol. 180, No. 2. (26 June 2007), pp. 55-70.
    by Claudio Guidi, Roberto Lucchi, Manuel Mazzara
    posted to choreography csp pi-calculus webservice by toppi on 2008-03-24 05:05:36 as ***
  • CSP-Based Verification for Web Service Orchestration and Choreography
    SIMULATION, Vol. 83, No. 1. (1 January 2007), pp. 65-74.
    by WL Yeung
    posted to csp ws-bpel ws-cdl by toppi on 2007-10-08 13:46:09 as ** along with 2 groups FM_SOA SRG Reading Room
  • notes Modeling and Verifying Web Services Choreography Using Process Algebra
    Software Engineering Workshop, 2007. SEW 2007. 31st IEEE (2007), pp. 256-268.
    by Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
    posted to choreography csp verification by toppi on 2008-03-24 05:01:57 as **
  • Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services
    Web Services, 2006. ECOWS '06. 4th European Conference on (2006), pp. 297-305.
    by WL Yeung
    posted to csp ws-bpel ws-cdl by toppi on 2008-02-22 05:11:45 as *** along with 1 group SRG Reading Room
  • The CLP(<inline-equation> <f> <sc>R</sc></f> </inline-equation> ) language and system
    ACM Trans. Program. Lang. Syst., Vol. 14, No. 3. (July 1992), pp. 339-395.
    by Joxan Jaffar, Spiro Michaylov, Peter J Stuckey, Roland HC Yap
    posted to ai csp logic_programming by stavros on 2006-06-15 03:49:47 as read
  • Tractable Disjunctive Constraints
    Vol. 1330 (1996), pp. 478-490.
    by DA Cohen, PG Jeavons, M Koubarakis
    posted to ai csp by stavros on 2006-06-24 08:50:21 as read
  • Theory and Practice of Constraint Handling Rules
    Journal of Logic Programming, Special Issue on Constraint Logic Programming, Vol. 37, No. 1-3. (October 1998), pp. 95-138.
    by Thom Frühwirth
    edited by Marriot
    posted to ai csp logic_programming by stavros on 2006-06-15 03:54:02 as read along with 1 person noormkhan
  • Guided Test Generation from CSP Models
    Theoretical Aspects of Computing - ICTAC 2008 (2008), pp. 258-273.
    by Sidney Nogueira, Augusto Sampaio, Alexandre Mota
    posted to testpurpose csp 2008 by sidney on 2008-09-24 21:28:36 as read along with 1 group SRG
  • Reversible DAC and Other Improvements for Solving Max-CSP
    (1998), pp. 347-352.
    by Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gerard Verfaillie
    posted to constraint csp by sflinter on 2008-01-02 11:58:45 as **
  • New Search Heuristics for Max-CSP
    (2000), pp. 262-277.
    by Kalev Kask
    posted to constraint csp mprdac by sflinter on 2008-01-02 12:09:09 as **
  • Range-Based Algorithm for Max-CSP
    by Thierry
    posted to ai constraint csp by sflinter on 2008-01-02 11:53:09 as *****
  • Lower Bounds for Non-binary Constraint Optimization Problems
    Lecture Notes in Computer Science, Vol. 2239 (2001), pp. 317-??.
    by Pedro Meseguer, Javier Larrosa, Mart\i Sánchez
    posted to constraint csp by sflinter on 2008-01-02 11:54:05 as ****
  • Using mini-bucket heuristics for max-csp
    (2000)
    by K Kask, R Dechter
    posted to constraint csp mprdac by sflinter on 2008-01-02 12:09:46 as **
  • Managing Conditional and Composite CSPs
    Advances in Artificial Intelligence (2007), pp. 216-227.
    by Malek Mouhoub, Amrudee Sukpan
    posted to csp by segura on 2008-04-21 08:27:11 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 **
  • ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm
    ArXiv Computer Science e-prints (January 2007)
    by S Chitnis, M Yennamani, G Gupta
    posted to chu-space csp spreadsheet by scis0000001 on 2007-04-02 01:12:17 as **
  • Encoding Temporal Planning as CSP
    (April 2002), pp. 18-25.
    by Amol Mali
    posted to temporal planning csp by scis0000001 on 2007-02-11 18:06:21 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 **
  • Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes
    by Justin Pearson
    posted to csp symmetry-breaking by scis0000001 on 2007-02-13 14:57:55 as **
  • A Game-Theoretic Approach to Constraint Satisfaction
    (2000), pp. 175-181.
    by Phokion G Kolaitis, Moshe Y Vardi
    posted to chu-space csp game-theory by scis0000001 on 2007-02-13 10:34:26 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 **
  • Chu Spaces : A Model for Concurrency
    No. CS-TR-94-1521. (1994)
    by Vineet Gupta
    posted to chu-space concurrency csp symmetry-breaking by scis0000001 on 2006-07-06 15:21:42 as ** along with 1 person mcclurmc
  • 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 **
  • Optimization, Games, and Quantified Constraint Satisfaction
    by Hubie Chen, Martin Pal
    posted to csp dcsp games optimization qcsp by scis0000001 on 2007-02-16 14:10:01 as **
  • Evaluation of a new polar--organic high-performance liquid chromatographic mobile phase for cyclodextrin-bonded chiral stationary phases
    TrAC Trends in Analytical Chemistry, Vol. 12, No. 4. (April 1993), pp. 144-153.
    by SC Chang, GL Reid, S Chen, CD Chang, DW Armstrong
    posted to bcd chiral csp hplc separation by rachey85 on 2007-10-19 11:01:07 as ***
  • notes Theory and Practice of Concurrency
    (10 November 1997)
    by AW Roscoe
    posted to book csp by newdawn on 2008-07-28 04:23:56 as **
  • Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems
    (1997)
    by S Beale
    posted to csp by meerkat on 2007-08-17 04:50:59 as ***
  • Verification of Architectural Refactorings by Rule Extraction
    Fundamental Approaches to Software Engineering (2008), pp. 347-361.
    by Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
    posted to 2008 csp refactoring statecharts uml by leonardo on 2008-04-27 20:06:39 as *****
  • FDR Explorer
    Electron. Notes Theor. Comput. Sci., Vol. 187 (2007), pp. 19-34.
    by Leo Freitas, Jim Woodcock
    posted to 2007 csp fdr model_checking refinement by leonardo on 2007-08-21 02:01:04 as ***
  • notes Verifying Statemate Statecharts Using CSP and FDR
    Lecture Notes in Computer Science : Formal Methods and Software Engineering (2006), pp. 324-341.
    by AW Roscoe, Z Wu
    posted to 2006 _hardcopy csp fdr statecharts statemate verification by leonardo on 2006-12-12 19:34:14 as *****
  • A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
    Science of Computer Programming, Vol. 65, No. 1. (1 March 2007), pp. 41-56.
    by Benghazi K Akhlaki, Capel M Tunon, Holgado JA Terriza, Mendoza LE Morales
    posted to 2007 csp formal_specification realtime umlrt by leonardo on 2007-10-03 21:01:36 as **
  • Converting scenarios to CSP traces with Mise en Scene for requirements-based programming
    Innovations in Systems and Software Engineering, Vol. 4, No. 1. (April 2008), pp. 45-70.
    by J Carter, WB Gardner
    posted to 2008 csp requirements by leonardo on 2008-01-25 14:40:37 as *** along with 1 person and 1 group joabejesus SRG Reading Room
  • Operational Semantics for Fun and Profit
    Communicating Sequential Processes (2005), pp. 265-274.
    by Michael Goldsmith
    posted to 2005 csp fdr semantics by leonardo on 2007-08-19 01:27:11 as **
  • Concurrency and Refinement in the Unified Modeling Language
    Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3. (November 2002), pp. 577-603.
    by Jim Davies, Charles Crichton
    posted to 2002 csp refinement statecharts uml by leonardo on 2006-08-31 14:36:53 as ***
  • Refinement-oriented probability for CSP
    Formal Aspects of Computing, Vol. V8, No. 6. (1 November 1996), pp. 617-647.
    by Carroll Morgan, Annabelle Mciver, Karen Seidel, JW Sanders
    posted to 1996 concurrent_systems csp refinement by leonardo on 2006-10-10 19:39:22 as ** along with 1 person cbertolini
  • Viewing CSP Specifications with UML-RT Diagrams
    Electronic Notes in Theoretical Computer Science, Vol. 195 (18 January 2008), pp. 57-74.
    by Patricia Ferreira, Augusto Sampaio, Alexandre Mota
    posted to 2008 csp umlrt by leonardo on 2008-01-28 10:14:23 as **** along with 1 group SRG
  • Testing for Refinement in CSP
    Formal Methods and Software Engineering (2007), pp. 151-170.
    by Ana Cavalcanti, Marie C Gaudel
    posted to 2007 csp refinement test by leonardo on 2007-11-20 17:15:04 as **** along with 1 person mishra_satish
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/csp

    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.