Result 1 to 20 of 58 total
A direct method for the solution of an optimal control problem arising from image registration. (English)
Numer. Algebra Control Optim. 2, No. 3, 487-510 (2012).
1
An evolutionary programming algorithm for finding constrained optimal disjoint paths for multihop communication networks. (English)
Int. J. Metaheuristics 1, No. 2, 132-155 (2010).
2
On the sample monotonization problem. (Russian ;English)
Zh. Vychisl. Mat. Mat. Fiz. 50, No. 7, 1327-1333 (2010); translation in Comput. Math., Math. Phys. 50, No. 7, 1260-1266 (2010).
3
Dynamic bundle methods. (English)
Math. Program. 120, No. 2 (A), 289-311 (2009).
4
Minimaxsat: an efficient weighted Max-SAT solver. (English)
J. Artif. Intell. Res. (JAIR) 31, 1-32 (2008).
5
Iterated hard shrinkage for minimization problems with sparsity constraints. (English)
SIAM J. Sci. Comput. 30, No. 2, 657-683 (2008).
6
The wireless network jamming problem. (English)
J. Comb. Optim. 14, No. 4, 481-498 (2007).
7
Unimodality, independence lead to NP-hardness of interval probability problems. (English)
Reliab. Comput. 13, No. 3, 261-282 (2007).
8
Filtering algorithms for the NValue constraint. (English)
Constraints 11, No. 4, 271-293 (2006).
9
Hard and soft constraints for reasoning about qualitative conditional preferences. (English)
J. Heuristics 12, No. 4-5, 263-285 (2006).
10
Hard and soft constraints for reasoning about qualitative conditional preferences. (English)
J. Heuristics 12, No. 4-5, 263-285 (2006).
11
Event-driven programming with logical execution times. (English)
Alur, Rajeev (ed.) et al., Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25‒27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21259-0/pbk). Lecture Notes in Computer Science 2993, 357-371 (2004).
12
Robust adaptive metrics for deadline assignment in distributed hard real-time systems. (English)
Real-Time Syst. 23, No.3, 239-271 (2002).
13
Hard constraints and the Bethe lattice: Adventures at the interface of combinatorics and statistical physics. (English)
Li, Ta Tsien (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20-28, 2002. Vol. III: Invited lectures. Beijing: Higher Education Press. 605-624 (2002).
14
The REAR framework for emulation and analysis of embedded hard real-time systems. (English)
Des. Autom. Embed. Syst. 5, No. 3, 237-250 (2000).
15
Real-time transaction scheduling: A framework for synthesizing static and dynamic factors. (English)
Real-Time Syst. 14, No. 2, 135-170 (1998).
16
Real-time transaction scheduling: A framework for synthesizing static and dynamic factors. (English)
Real-Time Syst. 14, No. 2, 135-170 (1998).
17
University timetabling using constraint handling rules. (English)
Ridoux, Olivier (ed.), JFPLC ’98. 7èmes Journées francophones de programmation logique et programmation par contraintes. Nantes, Frances, 27‒29 Mai, 1998. Paris: Éditions Hermès. 39-49 (1998).
18
A nonlinear utility theory with multiple objectives. (English)
J. Multi-Criteria Decis. Anal. 7, No.4, 193-203 (1998).
19
Flow-shop scheduling with generalized precedence constraints. (Chinese)
Acta Math. Appl. Sin. 20, No.4, 587-592 (1997).
20
Result 1 to 20 of 58 total
Start
Contact
Print
General Help
