Brad A. Myers - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged constraints

A Stronger LP Bound for Formula Size Lower Bounds via Clique ConstraintsKenya Ueno. STACS 2009: 685-696 [doi]

A unified theory of structural tractability for constraint satisfaction problemsDavid A. Cohen, Peter Jeavons, Marc Gyssens. jcss, 74(5):721-743, 2008. [doi]

Implementation of plug-and-play ESD protection in 5.5GHz 90nm RF CMOS LNAs - Concepts, constraints and solutionsS. Thijs, M. Natarajan Iyer, D. Linten, Wutthinan Jeamsaksiri, T. Daenen, Robin Degraeve, Andries Scholten, Stefaan Decoutere, Guido Groeseneken. mr, 46(5-6):702-712, 2006. [doi]

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniquesLaurent Granvilliers, Frédéric Benhamou. TOMS, 32(1):138-156, 2006. [doi]

Quantum mechanical calculation of the effects of stiff and rigid constraints in the conformational equilibrium of the alanine dipeptidePablo Echenique, Iván Calvo, José Luis Alonso. jcc, 27(14):1733-1747, 2006. [doi]

Lessons learned from programmers experiences with one-way constraintsBradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie, Richard G. McDaniel. SPE, 35(13):1275-1298, 2005. [doi]

Citrus: a language and toolkit for simplifying the creation of structured editors for code and dataAndrew Jensen Ko, Brad A. Myers. uist 2005: 3-12 [doi]

Spines of random constraint satisfaction problems: definition and connection with computational complexityGabriel Istrate, Stefan Boettcher, Allon G. Percus. AMAI, 44(4):353-372, 2005. [doi]

Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length JobsKonstantin Artiouchine, Philippe Baptiste. cp 2005: 62-76 [doi]

Haptic Task Constraints fo 3D InteractionOlaf Körner, Reinhard Männer. haptics 2003: 278-284 [doi]

Constraint-driven hierarchical information extractionThomas Lee. IJCAI 2003: 213 [doi]

Maximal antichains under dimension constraintsRudolf Ahlswede, Harout K. Aydinian, Levon H. Khachatrian. DM, 273(1-3):23-29, 2003. [doi]

Extremal problems under dimension constraintsRudolf Ahlswede, Harout K. Aydinian, Levon H. Khachatrian. DM, 273(1-3):9-21, 2003. [doi]

Combinatorial Constraints on Multiple Projections of a Set of PointsTomás Werner. iccv 2003: 1011-1016 [doi]

Studying Interchangeability in Constraint Satisfaction ProblemsNicoleta Neagu. cp 2002: 787-788 [doi]

Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkitsBradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie. TOPLAS, 23(6):776-796, 2001. [doi]

Representation and Reasoning with Multi-Point EventsRattana Wetprasit, Abdul Sattar, Lina Khatib. constraints, 5(3):211-249, 2000.

SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodiesTimothy R. Forester, William Smith. jcc, 21(2):157, 2000. [doi]

Planning texts by constraint satisfactionRichard Power. COLING 2000: 642-648 [doi]

Constraint Satisfaction for Reconciling Heterogeneous Tree DatabasesHajime Kitakami, Mitsuko Nishimoto. DEXA 2000: 624-633 [doi]

Declarative Modelling of Constraint Propagation StrategiesLaurent Granvilliers, Eric Monfroy. advis 2000: 201-215 [doi]

Error Propogation from Camera Motion to Epipolar ConstraintXinquan Shen, Phil Palmer, Philip F. McLauchlan, Adrian Hilton. bmvc 2000: 1-10 [doi]

A 75:::°::: Angle Constraint for Plane Minimal T1 TreesT. Cole. jco, 4(2):271-284, 2000.

Maximizing the number of mixed packages subject to variety constraintsDavid J. Robb, Dan Trietsch. cor, 26(13):1323-1333, 1999. [doi]

Retrieving Domain-Specific Collocations by Co-occurrences and Word Order ConstraintsSayori Shimohata, Toshiyuki Sugio, Junji Nagata. ci, 15:92-100, 1999.

Coherence as Constraint SatisfactionPaul Thagard, Karsten A. Verbeurgt. cogsci, 22(1):1-24, 1998.

CMOS analog circuit stack generation with matching constraintsRavindranath Naiknaware, Terri S. Fiez. iccad 1998: 371-375 [doi]

SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodiesTimothy R. Forester, William Smith. jcc, 19(1):102-111, 1998. [doi]

The growth of multi-constraint random knapsacks with large right-hand sides of the constraintsK. Szkatuza. orl, 21(1):25-30, 1997. [doi]

Grid Structure and Undecidable Constraint TheoriesFranck Seynhaeve, Marc Tommasi, Ralf Treinen. tapsoft 1997: 357-368

Easily Adding Animations to Interfaces Using ConstraintsBrad A. Myers, Robert C. Miller, Richard G. McDaniel, Alan S. Ferrency. uist 1996: 119-128 [doi]

Integrity Constraint Checking in Federated DatabasesPaul W. P. J. Grefen, Jennifer Widom. coopis 1996: 38-47

Global Behaviour for Complex ConstraintsStéphane N Dong, Michel Van Caneghem. cp 1996: 553-554

Demonstrational and Constraint-Based Techniques for Pictorially Specifying Application Objects and BoundariesBrad T. Vander Zanden, Brad A. Myers. TOCHI, 2(4):308-365, 1995. [doi]

Constraint Processing, Selected PapersManfred Meyer, editor, Volume 923 of Lecture Notes in Computer Science, Springer, 1995.

Combining Hill Climbing and Forward Checking for Handling Disjunctive ConstraintsDan R. Vlasie. cp 1995: 247-265

Integrating Pointer Variables into One-Way Constraint ModelsBrad T. Vander Zanden, Brad A. Myers, Dario A. Giuse, Pedro A. Szekely. TOCHI, 1(2):161-213, 1994. [doi]

On maximizing linear system output energy with an input envelope constraintJohn S. Sadowsky. TIT, 40(1):251, 1994.

Towards equitable distribution via proportional equity constraintsNicholas G. Hall, Rakesh V. Vohra. mp, 58:287-294, 1993.

On the Satisfiability of Complex ConstraintsLuís Damas, Giovanni B. Varile. COLING 1992: 108-112 [doi]

The importance of pointer variables in constraint modelsBradley T. Vander Zanden, Brad A. Myers, Dario A. Giuse, Pedro A. Szekely. uist 1991: 155-164 [doi]

Constraints on Predicate InventionRüdiger Wirth, Paul O Rorke. icml 1991: 457-461

Creating User Interfaces Using Programming by Example, Visual Programming, and ConstraintsBrad A. Myers. TOPLAS, 12(2):143-177, 1990. [doi]

A Full Sensing Window Random-Access Algorithm for Messages with Strict Delay ConstraintsMichael Paterakis, Leonidas Georgiadis, Panayota Papantoni-Kazakos. algorithmica, 4(3):313-328, 1989.

Using Chargeback Systems to Alleviate Resource Constraints and Improve System PerformanceGregory V. Caliri, Thomas R. Brown. cmg 1989: 1342-1347

Increasing Availability Under Mutual Exclusion Constraints with Dynamic Vote ReassignmentDaniel Barbará, Hector Garcia-Molina, Annemarie Spauster. tocs, 7(4):394-426, 1989. [doi]

A User Interface Toolkit Based on Graphical Objects and ConstraintsPedro A. Szekely, Brad A. Myers. OOPSLA 1988: 36-45

Codon constraints on closed 2D shapesWhitman Richards, Donald D. Hoffman. cvgip, 31(3):265-281, 1985. [doi]

MACSYMA s Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with ConstraintsPh. Tombal, A. Moussiaux. eurocal 1985: 201-202

Optimum waveform signal sets with amplitude and energy constraintsAaron D. Wyner, Henry J. Landau. TIT, 30(4):615-622, 1984.

runs on WebDSL