![]() | ![]() |
| 2012 | ||
|---|---|---|
| 68 | Tyrel Russell, Peter van Beek: A hybrid constraint programming and enumeration approach for solving NHL playoff qualification and elimination problems. European Journal of Operational Research 218(3): 819-828 (2012) | |
| 2011 | ||
| 67 | Zijie Li, Peter van Beek: Finding Small Backdoors in SAT Instances. Canadian Conference on AI 2011: 269-280 | |
| 66 | Tyrel Russell, Peter van Beek: An Empirical Study of Seeding Manipulations and Their Prevention. IJCAI 2011: 350-356 | |
| 65 | Peter van Beek: David L. Poole and Alan K. Mackworth, Artificial Intelligence: Foundations of Computational Agents , Cambridge University Press (2010). Artif. Intell. 175(5-6): 932-934 (2011) | |
| 64 | Xinguang Chen, Peter van Beek: Conflict-Directed Backjumping Revisited CoRR abs/1106.0254: (2011) | |
| 63 | Wei Li, Pascal Poupart, Peter van Beek: Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference. J. Artif. Intell. Res. (JAIR) 40: 729-765 (2011) | |
| 2010 | ||
| 62 | Mirza Beg, Peter van Beek: A graph theoretic approach to cache-conscious placement of data for direct mapped caches. ISMM 2010: 113-120 | |
| 2009 | ||
| 61 | Tyrel Russell, Peter van Beek: Determining the Number of Games Needed to Guarantee an NHL Playoff Spot. CPAIOR 2009: 233-247 | |
| 60 | Tyrel Russell, Abid M. Malik, Michael Chase, Peter van Beek: Learning Heuristics for the Superblock Instruction Scheduling Problem. IEEE Trans. Knowl. Data Eng. 21(10): 1489-1502 (2009) | |
| 2008 | ||
| 59 | Wei Li, Pascal Poupart, Peter van Beek: Exploiting Causal Independence Using Weighted Model Counting. AAAI 2008: 337-343 | |
| 58 | Abid M. Malik, Michael Chase, Tyrel Russell, Peter van Beek: An Application of Constraint Programming to Superblock Instruction Scheduling. CP 2008: 97-111 | |
| 57 | Tyrel Russell, Peter van Beek: Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems. Canadian Conference on AI 2008: 234-245 | |
| 56 | Hiroyuki Takeda, Peter van Beek, Peyman Milanfar: Spatio-temporal video interpolation and denoising using motion-assisted steering kernel (MASK) regression. ICIP 2008: 637-640 | |
| 55 | Mehmet Umut Demircin, Peter van Beek, Yucel Altunbasak: Delay-Constrained and R-D Optimized Transrating for High-Definition Video Streaming Over WLANs. IEEE Transactions on Multimedia 10(6): 1155-1168 (2008) | |
| 54 | Abid M. Malik, Jim McInnes, Peter van Beek: Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraint Programming. International Journal on Artificial Intelligence Tools 17(1): 37-54 (2008) | |
| 53 | Huayue Wu, Peter van Beek: Portfolios with Deadlines for Backtracking Search. International Journal on Artificial Intelligence Tools 17(5): 835-856 (2008) | |
| 52 | Abid M. Malik, Tyrel Russell, Michael Chase, Peter van Beek: Learning heuristics for basic block instruction scheduling. J. Heuristics 14(6): 549-569 (2008) | |
| 2007 | ||
| 51 | Huayue Wu, Peter van Beek: On Universal Restart Strategies for Backtracking Search. CP 2007: 681-695 | |
| 50 | Xiaoqing Zhu, Bernd Girod, Peter van Beek: Distributed Channel Time Allocation and Rate Adaptation for Multi-User Video Streaming Over Wireless Home Networks. ICIP (5) 2007: 69-72 | |
| 49 | Huayue Wu, Peter van Beek: On Portfolios for Backtracking Search in the Presence of Deadlines. ICTAI (1) 2007: 231-238 | |
| 2006 | ||
| 48 | Wei Li, Peter van Beek, Pascal Poupart: Performing Incremental Bayesian Inference by Dynamic Model Counting. AAAI 2006: 1173-1179 | |
| 47 | Mehmet Umut Demircin, Peter van Beek: High Definition Video Transmission over Wlans with Time-Scale and R-D Optimized Rate Adaptation. ICIP 2006: 3073-3076 | |
| 46 | Peter van Beek, Louis Kerofsky: Server-Side Playout Delay Management for Video Streaming. ICIP 2006: 3077-3080 | |
| 45 | Abid M. Malik, Jim McInnes, Peter van Beek: Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraing Programming. ICTAI 2006: 279-287 | |
| 44 | Barry O'Sullivan, Peter van Beek: Introduction to the Special Issue on Principles and Practice of Constraint Programming (CP 2005). Constraints 11(2-3): 83-84 (2006) | |
| 2005 | ||
| 43 | Peter van Beek: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings Springer 2005 | |
| 42 | Tyrel Russell, Abid M. Malik, Michael Chase, Peter van Beek: Learning basic block scheduling heuristics from optimal data. CASCON 2005: 242-253 | |
| 41 | Mark Kalman, Bernd Girod, Peter van Beek: Optimized transcoding rate selection and packet scheduling for transmitting multiple video streams over a shared channel. ICIP (1) 2005: 165-168 | |
| 40 | Peter van Beek, Mehmet Umut Demircin: Delay- constrained rate adaptation for robust video transmission over home networks. ICIP (2) 2005: 173-176 | |
| 39 | Mehmet Umut Demircin, Peter van Beek: Bandwidth Estimation and Robust Video Streaming Over 802.11E Wireless Lans. ICME 2005: 1250-1253 | |
| 38 | Claude-Guy Quimper, Alexander Golynski, Alejandro López-Ortiz, Peter van Beek: An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. Constraints 10(2): 115-135 (2005) | |
| 2004 | ||
| 37 | Lars Hellsten, Gilles Pesant, Peter van Beek: A Domain Consistency Algorithm for the Stretch Constraint. CP 2004: 290-304 | |
| 36 | Claude-Guy Quimper, Alejandro López-Ortiz, Peter van Beek, Alexander Golynski: Improved Algorithms for the Global Cardinality Constraint. CP 2004: 542-556 | |
| 35 | Wei Li, Peter van Beek: Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition. ICTAI 2004: 542-548 | |
| 34 | Peter van Beek, Toby Walsh: Principles of Constraint Programming and Constraint Processing: A Review. AI Magazine 25(4): 105-106 (2004) | |
| 2003 | ||
| 33 | Huayue Wu, Peter van Beek: Restart Strategies: Analysis and Simulation. CP 2003: 1001 | |
| 32 | Claude-Guy Quimper, Peter van Beek, Alejandro López-Ortiz, Alexander Golynski, Sayyed Bashir Sadjad: An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. CP 2003: 600-614 | |
| 31 | Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek: A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint. IJCAI 2003: 245-250 | |
| 2002 | ||
| 30 | Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh: Binary vs. non-binary constraints. Artif. Intell. 140(1/2): 1-37 (2002) | |
| 2001 | ||
| 29 | Peter van Beek, Kent D. Wilken: Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies. CP 2001: 625-639 | |
| 28 | Adam Beacham, Xinguang Chen, Jonathan Sillito, Peter van Beek: Constraint Programming Lessons Learned from Crossword Puzzles. Canadian Conference on AI 2001: 78-87 | |
| 27 | Michael E. Bergen, Peter van Beek, Tom Carchrae: Constraint-Based Vehicle Assembly Line Sequencing. Canadian Conference on AI 2001: 88-99 | |
| 26 | Dean S. Messing, Peter van Beek, James H. Errico: The MPEG-7 colour structure descriptor: image description using colour and local spatial information. ICIP (1) 2001: 670-673 | |
| 25 | Xinguang Chen, Peter van Beek: Conflict-Directed Backjumping Revisited. J. Artif. Intell. Res. (JAIR) 14: 53-81 (2001) | |
| 1999 | ||
| 24 | Peter van Beek, Xinguang Chen: CPlan: A Constraint Programming Approach to Planning. AAAI/IAAI 1999: 585-590 | |
| 23 | Ailan Hu, Ioanis Nikolaidis, Peter van Beek: On the Design of Efficient Video-on-Demand Broadcast Schedules. MASCOTS 1999: 262-269 | |
| 1998 | ||
| 22 | Fahiem Bacchus, Peter van Beek: On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. AAAI/IAAI 1998: 310-318 | |
| 21 | Don Banks, Peter van Beek, Amnon Meisels: A Heuristic Incremental Modeling Approach to Course Timetabling. Canadian Conference on AI 1998: 16-29 | |
| 1997 | ||
| 20 | Grzegorz Kondrak, Peter van Beek: A Theoretical Evaluation of Selected Backtracking Algorithms. Artif. Intell. 89(1-2): 365-387 (1997) | |
| 19 | Peter van Beek, Rina Dechter: Constraint tightness and looseness versus local and global consistency. J. ACM 44(4): 549-566 (1997) | |
| 18 | Rina Dechter, Peter van Beek: Local and Global Relational Consistency. Theor. Comput. Sci. 173(1): 283-308 (1997) | |
| 1996 | ||
| 17 | Peter van Beek, Dennis W. Manchak: The Design and Experimental Analysis of Algorithms for Temporal Reasoning CoRR cs.AI/9601101: (1996) | |
| 16 | Peter van Beek, Dennis W. Manchak: The Design and Experimental Analysis of Algorithms for Temporal Reasoning. J. Artif. Intell. Res. (JAIR) 4: 1-18 (1996) | |
| 1995 | ||
| 15 | Rina Dechter, Peter van Beek: Local and Global Relational Consistency. CP 1995: 240-257 | |
| 14 | Grzegorz Kondrak, Peter van Beek: A Theoretical Evaluation of Selected Backtracking Algorithms. IJCAI 1995: 541-547 | |
| 13 | Peter van Beek, Rina Dechter: On the Minimality and Decomposability of Row-Convex Constraint Networks. J. ACM 42(3): 543-561 (1995) | |
| 1994 | ||
| 12 | Peter van Beek: On the Inherent Level of Local Consistency in Constraint Networks. AAAI 1994: 368-373 | |
| 11 | Peter van Beek, Rina Dechter: Constraint Tightness versus Global Consistency. KR 1994: 572-582 | |
| 1993 | ||
| 10 | Peter van Beek, Robin Cohen, Ken Schmidt: From Plan Critiquing to Clarification Dialogue for Cooperative ResponseGeneration. Computational Intelligence 9: 132-154 (1993) | |
| 1992 | ||
| 9 | Peter van Beek: On the Minimality and Decomposability of Constraint Networks. AAAI 1992: 447-452 | |
| 8 | Peter van Beek: Reasoning About Qualitative Temporal Information. Artif. Intell. 58(1-3): 297-326 (1992) | |
| 1991 | ||
| 7 | Peter van Beek, Robin Cohen: Resolving Plan Ambiguity for Cooperative Response Generation. IJCAI 1991: 938-944 | |
| 6 | Peter van Beek: Temporal query processing with indefinite information. Artificial Intelligence in Medicine 3(6): 325-339 (1991) | |
| 5 | Robin Cohen, Fei Song, Bruce Spencer, Peter van Beek: Exploiting Temporal and Novel Information from the User in Plan Recognition. User Model. User-Adapt. Interact. 1(3-4): 125-148 (1991) | |
| 1990 | ||
| 4 | Peter van Beek: Reasoning about Qualitative Temporal Information. AAAI 1990: 728-734 | |
| 3 | Peter van Beek, Robin Cohen: Exact and approximate reasoning about temporal relations. Computational Intelligence 6: 132-144 (1990) | |
| 1989 | ||
| 2 | Peter van Beek: Approximation Algorithms for Temporal Reasoning. IJCAI 1989: 1291-1296 | |
| 1987 | ||
| 1 | Peter van Beek: A Model For Generating Better Explanations. ACL 1987: 215-220 | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page