Sciweavers

10493 search results - page 168 / 2099
» Dynamic Word Problems
Sort
View
SIAMCO
2008
83views more  SIAMCO 2008»
13 years 8 months ago
Necessary Conditions for Multiobjective Optimal Control Problems with Free End-Time
Abstract. Necessary conditions of optimality are derived for multiobjective optimal control problems with free end-time, in which the dynamics constraint is modeled as a nonconvex ...
B. T. Kien, N.-C. Wong, J. C. Yao
ICALP
2005
Springer
14 years 1 months ago
Decidability and Complexity Results for Timed Automata via Channel Machines
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
Parosh Aziz Abdulla, Johann Deneux, Joël Ouak...
TASE
2008
IEEE
13 years 8 months ago
New Hybrid Optimization Algorithms for Machine Scheduling Problems
Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for nding optimal solutions to machine scheduling problems. We propose a new ...
Yunpeng Pan, Leyuan Shi
ISMB
1994
13 years 9 months ago
Geometric Problems in Molecular Biology and Robotics
Someof the geometric problemsof interest to molecular biologists havemacroscopicanaloguesin the field of robotics. Twoexamples of such analogies are those between protein docking ...
David Parsons, John F. Canny
IJFCS
2008
121views more  IJFCS 2008»
13 years 8 months ago
Reachability Problems in Low-Dimensional Iterative Maps
In this paper we analyse the dynamics of one-dimensional piecewise maps (PAMs). We show that one-dimensional PAMs are equivalent to pseudo-billiard or so called "strange billi...
Oleksiy Kurganskyy, Igor Potapov, Fernando Sancho-...