12264 search results - page 2094 / 2453 » An Analysis of the XSL Algorithm |
169
Voted
SIGSOFT
2006
ACM
16 years 23 days ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
184
Voted
SIGSOFT
2006
ACM
16 years 23 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
173
click to vote
SLIP
2006
ACM
16 years 23 days ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
165
click to vote
CVPR
2010
IEEE
16 years 14 days ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...
179
click to vote
3DIM
2005
IEEE
16 years 13 days ago
2005
IEEE
Multimedia projectors and cameras make possible the use of structured light to solve problems such as 3D reconstruction, disparity map computation and camera or projector calibrat...