Sciweavers

6274 search results - page 1118 / 1255
» Proofs, Programs, Processes
Sort
View
ICRA
1995
IEEE
167views Robotics» more  ICRA 1995»
14 years 2 months ago
Modeling of Linear Objects Considering Bend, Twist, and Extensional Deformations
A systematic approach to the modeling of deformable ne linear objects is presented. Various deformable objects are manipulated in many manufacturing processes. Deformation of the...
Hidefumi Wakamatsu, Shinichi Hirai, Kazuaki Iwata
VL
1995
IEEE
176views Visual Languages» more  VL 1995»
14 years 2 months ago
The Visual Language of Experts in Graphic Design
Graphic designers and other visual problem solving experts now routinely use computer-based imageediting tools in their work. Recently, attempts have been made to apply learning a...
Henry Lieberman
ICSE
1987
IEEE-ACM
14 years 2 months ago
Software Interconnection Models
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
Dewayne E. Perry
SIGGRAPH
1987
ACM
14 years 2 months ago
Generating antialiased images at low sampling densities
Ray tracing produces point samples of an image from a 3-D model. Constructing an antialiased digital picture from point samples is difficult without resorting to extremely high sa...
Don P. Mitchell
ARC
2010
Springer
186views Hardware» more  ARC 2010»
14 years 2 months ago
Application-Specific Signatures for Transactional Memory in Soft Processors
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...
Martin Labrecque, Mark Jeffrey, J. Gregory Steffan
« Prev « First page 1118 / 1255 Last » Next »