1407 search results - page 61 / 282 » Sponsored Search with Contexts |
152
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
166
click to vote
NIPS
1996
15 years 7 months ago
1996
In the square linear blind source separation problem, one must nd a linear unmixing operator which can detangle the result xi(t) of mixing n unknown independent sources si(t) thro...
135
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we propose an extension of three incomplete depthfirst search techniques, namely depth-bounded backtrack search, credit search, and iterative broadening, towards pr...
160
click to vote
CIKM
2006
Springer
15 years 9 months ago
2006
Springer
This work addresses two common problems in search, frequently occurring with underspecified user queries: the top-ranked results for such queries may not contain documents relevan...
180
click to vote
ACMSE
2010
ACM
15 years 4 months ago
2010
ACM
Most present day search engines have a deterministic behavior in the sense that they return the same search results for all users who submit the same query at a certain time. They...