4287 search results - page 97 / 858 » Minimal Mental Models |
136
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We present a new approach to path planning for flexible wires. We introduce a method for computing stable configurations of a wire subject to manipulation constraints. These ...
172
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
128
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
In complex distributed applications, a problem is often decomposed into a set of subproblems that are distributed to multiple agents. We formulate this class of problems with a tw...
140
click to vote
GLVLSI
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a novel test scheduling algorithm for embedded corebased SoC’s. Given a system integrated with a set of cores and a set of test resources, we select a test for each c...
161
click to vote
KIVS
1999
Springer
15 years 9 months ago
1999
Springer
: Location Management of mobile users in a cellular network covers tracking and paging (searching) functionality. In this paper a sequential search strategy is proposed which reduc...