904 search results - page 72 / 181 » Towards practical meta-querying |
ICML
2002
IEEE
15 years 10 months ago
2002
IEEE
Multi-view algorithms reduce the amount of required training data by partitioning the domain features into separate subsets or views that are sufficient to learn the target concep...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Capturing the context of a user's query from the previous queries and clicks in the same session may help understand the user's information need. A context-aware approac...
102
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Giving suggestions to users of Web-based services is a common practice aimed at enhancing their navigation experience. Major Web Search Engines usually provide Suggestions under t...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
It is widely acknowledged that group or team projects are a staple of undergraduate and graduate software engineering courses. Such projects provide students with experiences that...