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 |