2780 search results - page 81 / 556 » Generalizing by Removing Detail |
138
click to vote
ICADL
2007
Springer
15 years 10 months ago
2007
Springer
In today’s knowledge-intensive engineering environment, information management is an important and essential activity. However, existing researches of Engineering Information Man...
131
click to vote
DSRT
2006
IEEE
15 years 10 months ago
2006
IEEE
A wide range of haptic devices exist that possess the potential to offer users a rich experience in a virtual reality environment. This however depends on the haptic device to be ...
126
Voted
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
151
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
116
click to vote
ACIVS
2006
Springer
15 years 10 months ago
2006
Springer
When magnifying a bitmapped image, we want to increase the number of pixels it covers, allowing for finer details in the image, which are not visible in the original image. Simple...