935 search results - page 128 / 187 » The directional p |
SI3D
1992
ACM
14 years 1 months ago
1992
ACM
The 3D components of today's user interfaces are still underdeveloped. Direct interaction with 3D objects has been limited thus far to gestural picking, manipulation with lin...
SIGGRAPH
1992
ACM
14 years 1 months ago
1992
ACM
We present a new approachto interactive modeling of freeform surfaces. Instead of a fixed mesh of control points, the model presented to the user is that of an infinitely malleabl...
CHI
2010
ACM
14 years 1 months ago
2010
ACM
Within the past few years, the field of HCI has increasingly addressed the issue of environmental sustainability, primarily identifying the challenges and developing an agenda for...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
CEC
2009
IEEE
14 years 1 months ago
2009
IEEE
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...