Sciweavers

1160 search results - page 103 / 232
» Revisiting the Sequence Constraint
Sort
View
AIR
1999
90views more  AIR 1999»
15 years 6 months ago
A Survey of Automated Timetabling
The timetabling problem consists in scheduling a sequence of lectures between teachers and students in a prefixed period of time (typically a week), satisfying a set of constraints...
Andrea Schaerf
ICRA
2009
IEEE
103views Robotics» more  ICRA 2009»
15 years 4 months ago
Prioritizing linear equality and inequality systems: Application to local motion planning for redundant robots
We present a novel method for prioritizing both linear equality and inequality systems and provide one algorithm for its resolution. This algorithm can be summarized as a sequence ...
Oussama Kanoun, Florent Lamiraux, Pierre-Brice Wie...
RECOMB
2002
Springer
16 years 6 months ago
Approximate matching of secondary structures
This talk presents an algorithm to search for all approximate matches of a helix in a genome, where a helix is a combination of sequence and folding constraints. It is a joint wor...
Nadia El-Mabrouk, Mathieu Raffinot
ARTS
1999
Springer
15 years 10 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge
CORR
2006
Springer
128views Education» more  CORR 2006»
15 years 6 months ago
Generalizations of the Hanoi Towers Problem
Our theme bases on the classical Hanoi Towers Problem. In this paper we will define a new problem, permitting some positions, that were not legal in the classical problem. Our goa...
Sergey Benditkis, Ilya Safro