4488 search results - page 45 / 898 » Focusing Search by Using Problem Solving Experience |
133
Voted
CCGRID
2006
IEEE
15 years 4 months ago
2006
IEEE
In the Biodiversity World (BDW) project we have created a flexible and extensible Web Services-based Grid environment for biodiversity researchers to solve problems in biodiversity...
122
Voted
AAAI
2006
15 years 4 months ago
2006
The MAP (maximum a posteriori hypothesis) problem in Bayesian networks is to find the most likely states of a set of variables given partial evidence on the complement of that set...
109
Voted
MICAI
2000
Springer
15 years 6 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
130
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
World Wide Web, the biggest distributed system ever built, experiences tremendous growth and change in Web sites, users, and technology. A realistic and accurate characterization ...
115
Voted
EMNLP
2007
15 years 4 months ago
2007
Traditional research on spelling correction in natural language processing and information retrieval literature mostly relies on pre-defined lexicons to detect spelling errors. Bu...