8298 search results - page 1499 / 1660 » On the Complexity of Numerical Analysis |
153
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
160
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Due to the exponential growth of information on the Web, Recommender Systems have been developed to generate suggestions to help users overcome information overload and sift thr...
205
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Robust extraction of text from scene images is essential for successful scene text recognition. Scene images usually have non-uniform illumination, complex background, and existen...
170
click to vote
WINE
2009
Springer
16 years 1 months ago
2009
Springer
We study an economic setting in which a principal motivates a team of strategic agents to exert costly effort toward the success of a joint project. The action taken by each agent...
203
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
Many of the successful multimedia retrieval systems focus on developing efficient and effective video retrieval solutions with the help of appropriate index structures. In these ...