2175 search results - page 413 / 435 » From Human Knowledge to Process Models |
FTRTFT
1998
Springer
14 years 2 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
IJCAI
2003
13 years 11 months ago
2003
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
AAAI
2008
14 years 6 days ago
2008
Email client software is widely used for personal task management, a purpose for which it was not designed and is poorly suited. Past attempts to remedy the problem have focused o...
SIGIR
2009
ACM
14 years 4 months ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
CIKM
2008
Springer
13 years 12 months ago
2008
Springer
As online social networking emerges, there has been increased interest to utilize the underlying social structure as well as the available social information to improve search. In...