3799 search results - page 287 / 760 » An Engineering Approach to Formal Methods |
193
click to vote
APIN
1998
15 years 6 months ago
1998
Object localization has applications in many areas of engineering and science. The goal is to spatially locate an arbitrarily-shaped object. In many applications, it is desirable ...
209
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
199
click to vote
TVCG
2012
13 years 9 months ago
2012
—Vector field visualization techniques have evolved very rapidly over the last two decades, however, visualizing vector fields on complex boundary surfaces from computational ...
202
click to vote
ICARCV
2002
IEEE
15 years 11 months ago
2002
IEEE
With the advances in digital imagery, large accessible data storage, internet repositories, and image applications, information conveyed through images is gaining in importance. T...
169
click to vote
MIE
2008
15 years 8 months ago
2008
Background: Physicians' adherence to guidelines can be used for measuring prescribing appropriateness. We present a simple approach allowing the automation of this process. De...