5159 search results - page 936 / 1032 » Structural Testing of Executables |
113
click to vote
CIKM
2006
Springer
15 years 6 months ago
2006
Springer
A major challenge in developing models for hypertext retrieval is to effectively combine content information with the link structure available in hypertext collections. Although s...
135
click to vote
KR
2000
Springer
15 years 6 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
138
Voted
NIPS
2007
15 years 3 months ago
2007
We present a novel message passing algorithm for approximating the MAP problem in graphical models. The algorithm is similar in structure to max-product but unlike max-product it ...
109
Voted
ECIS
2004
15 years 3 months ago
2004
The organizational capabilities to interact with others have been greatly improved as a result of modern information and communications technologies: Nowadays a company can mainta...
111
click to vote
IQ
2003
15 years 3 months ago
2003
: Genome databases store data about molecular biological entities such as genes, proteins, diseases, etc. The main purpose of creating and maintaining such databases in commercial ...