Kai Yu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged constraints

Lazy symbolic execution for test data generationMengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu. iee, 5(2):132-141, 2011. [doi]

Lazy Symbolic Evaluation and Its Path Constraints SolutionMeng-xiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu. ICSE 2009: 79-87 [doi]

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]

Minimum Acceleration Criterion with Constraints Implies Bang-Bang Control as an Underlying Principle for Optimal Trajectories of Arm Reaching MovementsShay Ben-Itzhak, Amir Karniel. neco, 20(3):779-812, 2008. [doi]

Single machine scheduling with job ready and delivery times subject to resource constraintsWladyslaw A. Janiak, Adam Janiak, Marie-Claude Portmann. ipps 2008: 1-7 [doi]

Quadratically constraint quadratical algorithm model for nonlinear minimax problemsMian-Tao Chao, Zhong-Xing Wang, Yu-Mei Liang, Qing-Jie Hu. amc, 205(1):247-262, 2008. [doi]

Dynamic Path Management with Resilience Constraints under Multiple Link Failures in MPLS/GMPLS NetworksJong-Tae Park, Jae-Wook Nah, Wee-Hyuk Lee. tdsc, 5(3):143-154, 2008. [doi]

A two-stage hybrid flowshop scheduling problem with a function constraint and unrelated alternative machinesChinyao Low, Chou-Jung Hsu, Chwen-Tzeng Su. cor, 35(3):845-853, 2008. [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]

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

Optimal Planning of a Multi-Station System with Sojourn Time ConstraintsMarcos Singer, Patricio Donoso, José Luis Noguer. anor, 138(1):203-222, 2005. [doi]

Chromatic Scheduling of 1- and 2-Processor UET Tasks on Dedicated Machines with Availability ConstraintsKrzysztof Giaro, Marek Kubale. ppam 2006: 855-862 [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]

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

Low power driven re-synthesis algorithm for heterogeneous FPGA under delay constraintPo-Xun Chiu, Yu-Chung Lin, Yi-Ling Hsieh, Tsai-Ming Hsieh. iscas 2001: 519-522 [doi]

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

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.

MPEG-Pro: An Authoring System for MPEG-4 with Temporal Constraints and Template Guided EditingSouhila Boughoufalah, Jean-Claude Dufourd, Frédéric Bouilhaguet. icmcs 2000: 175-178

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.

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

Structure Prediction with Combinatorial Distance ConstraintsGareth Chelvanayagam, Lukas Knecht, Thomas Jenny, Steven A. Benner, Gaston H. Gonnet. gcb 1997: 131

The Sensible Use of Method Overriding: Satisfying Pre- and Postcondition ConstraintsDavid M. Papurt. joop, 10(7):5-10, 1997.

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

An Integrity Constraint Checking Method for Temporal Deductive DatabasesCarme Martín, Jaume Sistac. time 1996: 136-141

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

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

Solving Real Linear Ask ConstraintsPhilippe Refalo. wlp 1994: 134-137

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

Reasoning with Constraints, Panel Position PaperCatherine Lassez. fgcs 1992: 1066-1070

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

Chippe: a system for constraint driven behavioral synthesisForrest Brewer, Daniel D. Gajski. tcad, 9(7):681-695, 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.

A Module Mechanism for Constraints in SmalltalkBjørn N. Freeman-Benson. OOPSLA 1989: 389-396

Dynamic Hybrid Position/ Force Control of Robot Manipulators: On-Line Estimatin of Unknown ConstraintTsuneo Yoshikawa, Akio Sudou. iser 1990: 116-134

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

MACSYMA Computation of the Dirac-Bergmann Algorithm for Hamiltonian Systems with ConstraintsPh. Tombal, A. Moussiaux. JSC, 1(4):419-421, 1985.

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

runs on WebDSL