1547 search results - page 265 / 310 » The Isabelle Collections Framework |
109
Voted
CONCURRENCY
2006
15 years 17 days ago
2006
: The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...
LOGCOM
2008
15 years 15 days ago
2008
Question Answering (QA) is a task that deserves more collaboration between Natural Language Processing (NLP) and Knowledge Representation (KR) communities, not only to introduce r...
109
click to vote
SIGIR
2008
ACM
15 years 14 days ago
2008
ACM
Searching for people on the Web is one of the most common query types to the web search engines today. However, when a person name is queried, the returned webpages often contain ...
118
click to vote
IPM
2007
15 years 13 days ago
2007
In the KL divergence framework, the extended language modeling approach has a critical problem estimating a query model, which is the probabilistic model that encodes user’s inf...
119
click to vote
APIN
1998
15 years 7 days ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...