1150 search results - page 107 / 230 » Specifying Information-Flow Controls |
ISCIS
2004
Springer
15 years 3 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
CHI
2000
ACM
15 years 2 months ago
2000
ACM
We have developed a new input device that allows users to intuitively specify three-dimensional coordinates in graphics applications. The device consists of a cubeshaped box with ...
CSREAESA
2006
14 years 11 months ago
2006
- This paper presents an approach to obtain reduced hardware and/or delay for synthesizing logic functions using multiplexers. Replication of single control line multiplexer is use...
CGA
2000
14 years 9 months ago
2000
Recently, animations with deforming objects have been frequently used in various computer graphics applications. Metamorphosis (or morphing) of three-dimensional objects is one of...
101
click to vote
IJRR
2002
14 years 9 months ago
2002
A new parallel-type gripper mechanism is proposed in this work. This device has a parallelogramic platform that can be flexibly folded. Therefore, this mechanism not only can be u...