6693 search results - page 726 / 1339 » Methods of Automatic Algorithm Generation |
153
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper introduces importance-driven volume rendering as a novel technique for automatic focus and context display of volumetric data. Our technique is a generalization of cut-...
215
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Road network information (RNI) simplifies autonomous driving by providing strong priors about driving environments. Its usefulness has been demonstrated in the DARPA U...
221
click to vote
JCDL
2006
ACM
16 years 25 days ago
2006
ACM
Citation matching, or the automatic grouping of bibliographic references that refer to the same document, is a data management problem faced by automatic digital libraries for sci...
163
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
Anecdotal evidence suggests that Web document summaries provide the sighted reader with a basis for making decisions regarding the route to take within non-linear text; and additi...
181
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...