2262 search results - page 399 / 453 » Points with large quadrant-depth |
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
WEBDB
2005
Springer
15 years 5 months ago
2005
Springer
Large-scale information integration, and in particular, search on the World Wide Web, is pushing the limits on the combination of structured data and unstructured data. By its ver...
WEBI
2005
Springer
15 years 5 months ago
2005
Springer
Given the large heterogeneity of the World Wide Web, using metadata on the search engines side seems to be a useful track for information retrieval. Though, because a manual quali...
113
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
Approximately 2 degrees in our 140 degree vision span has sharp vision. Many researchers have been fascinated by the idea of eyetracking integrated perceptual compression of an im...
MM
2004
ACM
15 years 5 months ago
2004
ACM
The realization of multimedia systems still heavily relies on building monolithic systems that need to be reengineered for every change in the application and little of which can ...