Jordi Cabot - 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]

Transformation techniques for OCL constraintsJordi Cabot, Ernest Teniente. SCP, 68(3):179-195, 2007. [doi]

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programmingJordi Cabot, Robert Clarisó, Daniel Riera. ASE 2007: 547-548 [doi]

Constraint tuning and management for web applicationsMarco Brambilla, Jordi Cabot. ICWE 2006: 345-352 [doi]

Constraint Support in MDA Tools: A SurveyJordi Cabot, Ernest Teniente. ECMDA-FA 2006: 256-267 [doi]

Incremental Evaluation of OCL ConstraintsJordi Cabot, Ernest Teniente. caise 2006: 81-95 [doi]

Transforming OCL constraints: a context change approachJordi Cabot, Ernest Teniente. SAC 2006: 1196-1201 [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]

Computing the Relevant Instances That May Violate an OCL ConstraintJordi Cabot, Ernest Teniente. caise 2005: 48-62 [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]

Automatic Integrity Constraint Evolution due to Model Subtract OperationsJordi Cabot, Jordi Conesa. er 2004: 350-362 [doi]

Determining the Structural Events That May Violate an Integrity ConstraintJordi Cabot, Ernest Teniente. uml 2004: 320-334 [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]

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

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

Prototyping Completion with Constraints Using Computational SystemsHélène Kirchner, Pierre-Etienne Moreau. RTA 1995: 438-443

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

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]

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

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]

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