8949 search results - page 1410 / 1790 » is 1998 |
256
click to vote
CAPTECH
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. This paper presents a new technique for computing collisionfree navigation motions from task-level commands for animated human characters in interactive virtual environme...
205
click to vote
NPIV
1998
ACM
15 years 12 months ago
1998
ACM
Nowadays, many state-of-the-art user interfaces to complexly structured data collections require appropriate information visualization methods. With the increase in graphics perfo...
192
click to vote
CAV
1998
Springer
15 years 12 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
165
click to vote
PADS
1998
ACM
15 years 12 months ago
1998
ACM
In message passing environments, the message send time is dominated by overheads that are relatively independent of the message size. Therefore, fine-grained applications (such a...
191
click to vote
PADS
1998
ACM
15 years 12 months ago
1998
ACM
In traditional distributed simulation schemes, entire simulation needs to be restarted if any of the participating LP crashes. This is highly undesirable for long running simulati...