1738 search results - page 59 / 348 » Local Consistency and SAT-Solvers |
157
click to vote
SEFM
2008
IEEE
16 years 9 hour ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
158
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose a novel technique for the efficient prediction of multiple continuous target variables from high-dimensional and heterogeneous data sets using a hierarch...
157
click to vote
HAPTICS
2002
IEEE
15 years 10 months ago
2002
IEEE
: We present a six-degree-of-freedom haptic rendering algorithm using localized contact computations. It takes advantage of high motion coherence due to fast force update and spati...
146
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
157
click to vote
TNN
1998
15 years 5 months ago
1998
Interference in neural networks occurs when learning in one area of the input space causes unlearning in another area. Networks that are less susceptible to interference are refer...