12289 search results - page 1721 / 2458 » computing 2006 |
191
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
Mobile interaction can potentially be enhanced with welldesigned haptic control and display. However, advances have been limited by a vicious cycle whereby inadequate haptic techn...
179
click to vote
VLSID
2006
IEEE
16 years 8 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
183
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
When an observer moves through a rigid 3D scene, points that are near to the observer move with a different image velocity than points that are far away. The difference between im...
222
click to vote
ACSC
2006
IEEE
16 years 1 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
193
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract—This paper proposes a novel technique to enable flow-level multi-path forwarding on IPv6 networks. Generally on such networks, any packet from a node is forwarded towar...