3706 search results - page 483 / 742 » The Transformational Approach to Program Development |
130
Voted
CCCG
1996
15 years 6 months ago
1996
We present a heuristic approach to the geometric motion planning problem with the aim to quickly solve intuitively simple problems. It is based on a divide-and-conquer path search...
129
click to vote
COLING
1990
15 years 6 months ago
1990
: An ellipsis resolution mechanism is presented. The mechanism is a part of a Natural Language Understanding System developed in the last years in order to be included as a main co...
121
click to vote
ACTAC
2002
15 years 4 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
156
Voted
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
-- We develop a new integer linear programming model to optimally design demand-wise shared protection (DSP) networks to achieve specified minimum levels of dual-failure restorabil...
145
Voted
CDC
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...