3483 search results - page 517 / 697 » Forward |
152
Voted
NIPS
1998
15 years 5 months ago
1998
Inference is a key component in learning probabilistic models from partially observable data. When learning temporal models, each of the many inference phases requires a complete ...
129
click to vote
MASCOTS
2000
15 years 5 months ago
2000
The memory resources required by network simulations can grow quadratically with size of the simulated network. In simulations that use routing tables at each node to perform perh...
131
click to vote
IJCAI
1997
15 years 5 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
118
Voted
IOPADS
1997
15 years 5 months ago
1997
As high-speed networks make it easier to use distributed resources, it becomes increasingly common that applications and their data are not colocated. Users have traditionally add...
139
click to vote
WOA
2000
15 years 5 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...