3799 search results - page 598 / 760 » An Engineering Approach to Formal Methods |
198
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
— Finding the k nearest neighbors (kNN) of a query point, or a set of query points (kNN-Join) are fundamental problems in many application domains. Many previous efforts to solve...
156
Voted
AOSD
2006
ACM
16 years 3 days ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
153
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
Inthispaper we formulatethe Radon transform asa wnvolution integral over the Euclidean motion group (SE(2)) and provideaminimummeansquare error(MMSE) stochastic deconvolution meth...
175
click to vote
CODES
2009
IEEE
16 years 27 days ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
187
click to vote
UIST
2005
ACM
15 years 11 months ago
2005
ACM
Image retargeting is the problem of adapting images for display on devices different than originally intended. This paper presents a method for adapting large images, such as thos...