Berthe Y. Choueiry

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

32 Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry: An Interactive Constraint-Based Approach to Sudoku. AAAI 2007: 1976-1977
31EEKenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock: Reformulating CSPs for Scalability with Application to Geospatial Reasoning. CP 2007: 164-179
30EEMartin Michalowski, Craig A. Knoblock, Kenneth M. Bayer, Berthe Y. Choueiry: Exploiting automatically inferred constraint-models for building identification in satellite imagery. GIS 2007: 6
29EEMartin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry: Reformulating Constraint Models Using Input Data. SARA 2007: 402-404
28EEKenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock: Reformulating Constraint Satisfaction Problems to Improve Scalability. SARA 2007: 64-79
27 Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry: An Interactive Constraint-Based Approach to Minesweeper. AAAI 2006
26 Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder: Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. AAAI 2005: 397-404
25EEYaling Zheng, Berthe Y. Choueiry: Applying Decomposition Methods to Crossword Puzzle Problems. CP 2005: 874
24 Joel M. Gompert, Berthe Y. Choueiry: A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search. FLAIRS Conference 2005: 167-174
23EEBerthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith: Towards a practical theory of reformulation for reasoning about physical systems. Artif. Intell. 162(1-2): 145-204 (2005)
22 Yang Shi, Anagh Lal, Berthe Y. Choueiry: Evaluating Consistency Algorithms for Temporal Metric Constraints. AAAI 2004: 970-971
21EEAnagh Lal, Berthe Y. Choueiry: Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. CDB 2004: 149-167
20EERyan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry: A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. CP 2004: 817
19EEYaling Zheng, Berthe Y. Choueiry: New Structural Decomposition Techniques for Constraint Satisfaction Problems. CSCLP 2004: 113-127
18EEVenkata Praveen Guddeti, Berthe Y. Choueiry: Characterization of a New Restart Strategy for Randomized Backtrack Search. CSCLP 2004: 56-70
17 Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry: An Interactive System for Hiring and Managing Graduate Teaching Assistants. ECAI 2004: 730-734
16EEBerthe Y. Choueiry, Lin Xu: An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. AI Commun. 17(4): 213-221 (2004)
15EELin Xu, Berthe Y. Choueiry: Improving Backtrack Search for Solving the TCSP. CP 2003: 754-768
14EELin Xu, Berthe Y. Choueiry: A New Efficient Algorithm for Solving the Simple Temporal Problem. TIME 2003: 212-
13EERobert Glaubius, Berthe Y. Choueiry: Constraint Modeling in the Context of Academic Task Assignment. CP 2002: 789
12EEBerthe Y. Choueiry, Amy M. Davis: Dynamic Bundling: Less Effort for More Solutions. SARA 2002: 64-82
11EEAmy M. Beckwith, Berthe Y. Choueiry, Hui Zou: How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search. Australian Joint Conference on Artificial Intelligence 2001: 50-61
10EEAmy M. Beckwith, Berthe Y. Choueiry: On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. CP 2001: 760
9 Berthe Y. Choueiry, Toby Walsh: Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Magazine 22(1): 137-138 (2001)
8 Berthe Y. Choueiry, Toby Walsh: Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings Springer 2000
7 Berthe Y. Choueiry, Guevara Noubir: On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. AAAI/IAAI 1998: 326-333
6 Rainer Weigel, Boi Faltings, Berthe Y. Choueiry: Context in Discrete Constraint Satisfaction Problems. ECAI 1996: 205-212
5 Guevara Noubir, Berthe Y. Choueiry: Algebraic Techniques for the Optimization of Control Flow Checking. FTCS 1996: 128-137
4EEGuevara Noubir, Berthe Y. Choueiry, Henri J. Nussbaumer: Fault tolerant multiple observers using error control codes. ICNP 1996: 84-91
3 Berthe Y. Choueiry, Boi Faltings: Using Abstractions for Resource Allocation. ICRA 1995: 1027-1033
2 Berthe Y. Choueiry, Boi Faltings, Rainer Weigel: Abstraction by Interchangeability in Resource Allocation. IJCAI 1995: 1694-1703
1 Berthe Y. Choueiry, Boi Faltings: A Decomposition Heuristic for Resource Allocation. ECAI 1994: 585-589

Coauthor Index

1Kenneth M. Bayer [27] [28] [30] [31] [32]
2Amy M. Beckwith [10] [11]
3Amy M. Davis [12]
4Boi Faltings [1] [2] [3] [6]
5Eugene C. Freuder [26]
6Robert Glaubius [13]
7Joel M. Gompert [24]
8Venkata Praveen Guddeti [17] [18] [20]
9Kai-Chen Huang [32]
10Yumi Iwasaki [23]
11Craig A. Knoblock [28] [29] [30] [31]
12Anagh Lal [21] [22] [26]
13Ryan Lim [17] [20]
14Sheila A. McIlraith [23]
15Martin Michalowski [28] [29] [30] [31]
16Guevara Noubir [4] [5] [7]
17Henri J. Nussbaumer [4]
18Christopher G. Reeson [32]
19Yang Shi [22]
20Josh Snyder [27]
21Toby Walsh [8] [9]
22Rainer Weigel [2] [6]
23Lin Xu [14] [15] [16]
24Yaling Zheng [19] [25]
25Hui Zou [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)