CORR
2000
Springer
13 years 4 months ago
2000
Springer
Simple power electronic drive circuit and fault tolerance of converter are specific advantages of SRM drives, but excessive torque ripple has limited their use to special applicati...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
This paper initiates the use of vector fields to design, optimize, and implement reactive schedules for safe cooperative robot patterns on planar graphs. We consider Automated Gui...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
CORR
2000
Springer
13 years 4 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
CORR
2000
Springer
13 years 4 months ago
2000
Springer
stract setting. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific constraint propagation algorithms. In particular, using the noti...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
CORR
2000
Springer
13 years 4 months ago
2000
Springer