4248 search results - page 199 / 850 » Simulating hci for all |
182
click to vote
CSL
2004
Springer
16 years 17 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
216
click to vote
DSD
2003
IEEE
16 years 14 days ago
2003
IEEE
Heuristic algorithms for coloring the edges of large undirected single-edge graphs with (or very close to) the minimal number of colors are presented. Compared to simulated anneal...
207
click to vote
HUMAN
2003
Springer
16 years 11 days ago
2003
Springer
Multipath on-demand routing protocols for mobile ad hoc networks try to reduce control overhead and end-to-end delay by computing multiple paths with a single route discovery proce...
177
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— This work proposes a control algorithm to stabilize a circular formation of AUVs tracking a time-varying center. We also consider the problem of uniform distribution of all the...
176
click to vote
ITC
2000
IEEE
15 years 11 months ago
2000
IEEE
A deterministic partitioning technique for fault diagnosis in Scan-Based BIST is proposed. Properties of high quality partitions for improved fault diagnosis times are identified...