Sciweavers

2714 search results - page 407 / 543
» Under the table interaction
Sort
View
MICRO
1999
IEEE
138views Hardware» more  MICRO 1999»
15 years 8 months ago
Dynamic 3D Graphics Workload Characterization and the Architectural Implications
Although PC-class 3D graphics hardware has made significant strides in the last several years, the underlying architectural design principles are still generally considered as a b...
Tulika Mitra, Tzi-cker Chiueh
IDA
1999
Springer
15 years 8 months ago
3D Grand Tour for Multidimensional Data and Clusters
Grand tour is a method for viewing multidimensional data via linear projections onto a sequence of two dimensional subspaces and then moving continuously from one projection to the...
Li Yang
135
Voted
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 8 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
ROBOCUP
1999
Springer
250views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
Virtual RoboCup: Real-Time 3D Visualization of 2D Soccer Games
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...
Bernhard Jung, Markus Oesker, Heiko Hecht
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 8 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...