Sciweavers

353 search results - page 25 / 71
» Advanced prototyping with fritzing
Sort
View
SAT
2004
Springer
95views Hardware» more  SAT 2004»
14 years 3 days ago
Local Search for Very Large SAT Problems
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
Steven David Prestwich, Colin Quirke
ICAT
2003
IEEE
14 years 1 days ago
Interaction Model between Elastic Objects for Accurate Haptic Display
The simulation of organ-organ interaction is indispensable for practical and advanced medical VR simulator such as open surgery and indirect palpation. This paper gives a method t...
Yoshihiro Kuroda, Megumi Nakao, Tomohiro Kuroda, H...
ICTAI
2003
IEEE
14 years 1 days ago
Interactive Open Architecture Computer Vision
In this paper, design and implementation of an interactive open architecture computer vision software package called Ch OpenCV is presented. Benefiting from both Ch and OpenCV, C...
Qingcang Yu, Harry H. Cheng, Wayne W. Cheng, Xiaod...
IWPC
2003
IEEE
14 years 1 days ago
Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation
Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software ma...
James R. Cordy
UIST
2003
ACM
14 years 14 hour ago
Multi-finger and whole hand gestural interaction techniques for multi-user tabletop displays
Recent advances in sensing technology have enabled a new generation of tabletop displays that can sense multiple points of input from several users simultaneously. However, apart ...
Mike Wu, Ravin Balakrishnan