2780 search results - page 61 / 556 » Generalizing by Removing Detail |
115
click to vote
DIAL
2006
IEEE
15 years 10 months ago
2006
IEEE
—We present a new method for interpolating binary images that outperforms existing techniques. Bitmapped images have a specific horizontal and vertical resolution. When we wish ...
125
click to vote
ICNS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Pervasive computing is a new and emerging technology. The concept of pervasiveness and its deployment into reality are still not well aligned. This is because the vision of per...
112
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
151
click to vote
WEA
2010
Springer
15 years 9 months ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...
127
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...