2008 | ||
---|---|---|
58 | Wei Li, Pascal Poupart, Peter van Beek: Exploiting Causal Independence Using Weighted Model Counting. AAAI 2008: 337-343 | |
57 | EE | Abid M. Malik, Michael Chase, Tyrel Russell, Peter van Beek: An Application of Constraint Programming to Superblock Instruction Scheduling. CP 2008: 97-111 |
56 | EE | 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 |
55 | EE | Hiroyuki Takeda, Peter van Beek, Peyman Milanfar: Spatio-temporal video interpolation and denoising using motion-assisted steering kernel (MASK) regression. ICIP 2008: 637-640 |
54 | EE | 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 | EE | Huayue Wu, Peter van Beek: Portfolios with Deadlines for Backtracking Search. International Journal on Artificial Intelligence Tools 17(5): 835-856 (2008) |
52 | EE | 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 | EE | Huayue Wu, Peter van Beek: On Universal Restart Strategies for Backtracking Search. CP 2007: 681-695 |
50 | EE | 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 | EE | 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 | |
47 | EE | 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 | EE | Peter van Beek, Louis Kerofsky: Server-Side Playout Delay Management for Video Streaming. ICIP 2006: 3077-3080 |
45 | EE | 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 | EE | 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 | EE | Tyrel Russell, Abid M. Malik, Michael Chase, Peter van Beek: Learning basic block scheduling heuristics from optimal data. CASCON 2005: 242-253 |
41 | EE | 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 | EE | Peter van Beek, Mehmet Umut Demircin: Delay- constrained rate adaptation for robust video transmission over home networks. ICIP (2) 2005: 173-176 |
39 | EE | Mehmet Umut Demircin, Peter van Beek: Bandwidth Estimation and Robust Video Streaming Over 802.11E Wireless Lans. ICME 2005: 1250-1253 |
38 | EE | 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 | EE | Lars Hellsten, Gilles Pesant, Peter van Beek: A Domain Consistency Algorithm for the Stretch Constraint. CP 2004: 290-304 |
36 | EE | Claude-Guy Quimper, Alejandro López-Ortiz, Peter van Beek, Alexander Golynski: Improved Algorithms for the Global Cardinality Constraint. CP 2004: 542-556 |
35 | EE | 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 | EE | Huayue Wu, Peter van Beek: Restart Strategies: Analysis and Simulation. CP 2003: 1001 |
32 | EE | 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 | A. Müfit Ferman, Peter van Beek, James H. Errico, M. Ibrahim Sezan: Multimedia content recommendation engine with automatic inference of user preferences. ICIP (3) 2003: 49-52 | |
30 | 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 | ||
29 | EE | A. Müfit Ferman, James H. Errico, Peter van Beek, M. Ibrahim Sezan: Content-based filtering and personalization using structured metadata. JCDL 2002: 393 |
28 | EE | Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh: Binary vs. non-binary constraints. Artif. Intell. 140(1/2): 1-37 (2002) |
2001 | ||
27 | EE | Peter van Beek, Kent D. Wilken: Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies. CP 2001: 625-639 |
26 | EE | Adam Beacham, Xinguang Chen, Jonathan Sillito, Peter van Beek: Constraint Programming Lessons Learned from Crossword Puzzles. Canadian Conference on AI 2001: 78-87 |
25 | EE | Michael E. Bergen, Peter van Beek, Tom Carchrae: Constraint-Based Vehicle Assembly Line Sequencing. Canadian Conference on AI 2001: 88-99 |
24 | EE | 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 |
23 | EE | Xinguang Chen, Peter van Beek: Conflict-Directed Backjumping Revisited. J. Artif. Intell. Res. (JAIR) 14: 53-81 (2001) |
1999 | ||
22 | Peter van Beek, Xinguang Chen: CPlan: A Constraint Programming Approach to Planning. AAAI/IAAI 1999: 585-590 | |
21 | EE | Ailan Hu, Ioanis Nikolaidis, Peter van Beek: On the Design of Efficient Video-on-Demand Broadcast Schedules. MASCOTS 1999: 262-269 |
1998 | ||
20 | Fahiem Bacchus, Peter van Beek: On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. AAAI/IAAI 1998: 310-318 | |
19 | Don Banks, Peter van Beek, Amnon Meisels: A Heuristic Incremental Modeling Approach to Course Timetabling. Canadian Conference on AI 1998: 16-29 | |
1997 | ||
18 | EE | Grzegorz Kondrak, Peter van Beek: A Theoretical Evaluation of Selected Backtracking Algorithms. Artif. Intell. 89(1-2): 365-387 (1997) |
17 | EE | Peter van Beek, Rina Dechter: Constraint tightness and looseness versus local and global consistency. J. ACM 44(4): 549-566 (1997) |
16 | EE | Rina Dechter, Peter van Beek: Local and Global Relational Consistency. Theor. Comput. Sci. 173(1): 283-308 (1997) |
1996 | ||
15 | EE | Peter van Beek, Dennis W. Manchak: The Design and Experimental Analysis of Algorithms for Temporal Reasoning CoRR cs.AI/9601101: (1996) |
14 | 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 | ||
13 | Rina Dechter, Peter van Beek: Local and Global Relational Consistency. CP 1995: 240-257 | |
12 | Grzegorz Kondrak, Peter van Beek: A Theoretical Evaluation of Selected Backtracking Algorithms. IJCAI 1995: 541-547 | |
11 | EE | Peter van Beek, Rina Dechter: On the Minimality and Decomposability of Row-Convex Constraint Networks. J. ACM 42(3): 543-561 (1995) |
1994 | ||
10 | Peter van Beek: On the Inherent Level of Local Consistency in Constraint Networks. AAAI 1994: 368-373 | |
9 | Peter van Beek, Rina Dechter: Constraint Tightness versus Global Consistency. KR 1994: 572-582 | |
1993 | ||
8 | Peter van Beek, Robin Cohen, Ken Schmidt: From Plan Critiquing to Clarification Dialogue for Cooperative ResponseGeneration. Computational Intelligence 9: 132-154 (1993) | |
1992 | ||
7 | Peter van Beek: On the Minimality and Decomposability of Constraint Networks. AAAI 1992: 447-452 | |
6 | Peter van Beek: Reasoning About Qualitative Temporal Information. Artif. Intell. 58(1-3): 297-326 (1992) | |
1991 | ||
5 | Peter van Beek, Robin Cohen: Resolving Plan Ambiguity for Cooperative Response Generation. IJCAI 1991: 938-944 | |
4 | 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 | ||
3 | Peter van Beek: Reasoning about Qualitative Temporal Information. AAAI 1990: 728-734 | |
2 | Peter van Beek, Robin Cohen: Exact and approximate reasoning about temporal relations. Computational Intelligence 6: 132-144 (1990) | |
1989 | ||
1 | Peter van Beek: Approximation Algorithms for Temporal Reasoning. IJCAI 1989: 1291-1296 |