5355 search results - page 619 / 1071 » Modules |
170
click to vote
FBT
1998
15 years 8 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
187
click to vote
FORTE
1998
15 years 8 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...
172
click to vote
WSCG
2003
15 years 8 months ago
2003
We present a real-time rendering algorithm that generates soft shadows of dynamic scenes using a single light sample. As a depth-map algorithm it can handle arbitrary shadowed sur...
165
click to vote
GRAPHICSINTERFACE
2000
15 years 8 months ago
2000
We describe a 3D graphical interaction tool called an amplification widget that allows a user to control the position or orientation of an object at multiple scales. Fine and coar...
185
click to vote
ICONIP
1998
15 years 8 months ago
1998
A PDM (Pulse Density Modulating) digital neural network system, which consists of 1,000 neurons physically interconnected by one million 7-bit synapses, was developed in our labor...