4499 search results - page 240 / 900 » Hyper-selection in dynamic environments |
152
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...
137
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamic program visualization, i.e. the visualization of the runtime behavior of a program as opposed to the static structure of its source code has been investigated for various ...
183
click to vote
ISCOPE
1998
Springer
15 years 10 months ago
1998
Springer
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
199
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
157
click to vote
WSC
2004
15 years 7 months ago
2004
Supply chain management is a critically significant strategy that enterprises depend on in meeting the challenges of today's highly competitive and dynamic business environme...