Sciweavers

32545 search results - page 6165 / 6509
» Data Structures and Algorithms
Sort
View
CAPTECH
1998
Springer
15 years 11 months ago
Goal-Directed Navigation for Animated Characters Using Real-Time Path Planning and Control
Abstract. This paper presents a new technique for computing collisionfree navigation motions from task-level commands for animated human characters in interactive virtual environme...
James J. Kuffner Jr.
CPM
1998
Springer
115views Combinatorics» more  CPM 1998»
15 years 11 months ago
Aligning Alignments
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
John D. Kececioglu, Weiqing Zhang
SIGGRAPH
1998
ACM
15 years 11 months ago
Layered Depth Images
In this paper we present a set of efficient image based rendering methods capable of rendering multiple frames per second on a PC. The first method warps Sprites with Depth repr...
Jonathan Shade, Steven J. Gortler, Li-wei He, Rich...
FMCAD
1998
Springer
15 years 11 months ago
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yun...
IWMM
1998
Springer
115views Hardware» more  IWMM 1998»
15 years 11 months ago
One-Bit Counts between Unique and Sticky
Stoye's one-bit reference tagging scheme can be extended to local counts of two or more via two strategies. The first, suited to pure register transactions, is a cache of ref...
David J. Roth, David S. Wise
« Prev « First page 6165 / 6509 Last » Next »