4106 search results - page 697 / 822 » A Computational Model for Metric Spaces |
187
click to vote
AAAI
2004
15 years 8 months ago
2004
We present a probabilistic method for path planning that considers trajectories constrained by both the environment and an ensemble of restrictions or preferences on preferred mot...
170
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...
170
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
Recently, several algorithms have been proposed for using neural networks in dynamic analysis of small structural systems, and also constructing adaptive material modeling subrout...
174
click to vote
FTCS
1998
15 years 7 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
159
click to vote
WSC
1998
15 years 7 months ago
1998
Selecting an optimum maintenance policy independent of other parameters of the production system does not always yield the overall optimum operating conditions. For instance, high...