1407 search results - page 61 / 282 » Sponsored Search with Contexts |
KBSE
2005
IEEE
14 years 2 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...
NIPS
1996
13 years 10 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...
SAC
2005
ACM
14 years 2 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...
CIKM
2006
Springer
14 years 14 days 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...
ACMSE
2010
ACM
13 years 6 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...