2835 search results - page 466 / 567 » Common Semantics for Use Cases and Task Models |
ICCD
2000
IEEE
14 years 18 days ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
IJCAI
2003
13 years 10 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 ...
DAGSTUHL
2007
13 years 10 months ago
2007
The parallel universes idea is an attempt to integrate several aspects of learning which share some common aspects. This is an interesting idea: if successful, insights could cross...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
SCALESPACE
2005
Springer
14 years 2 months ago
2005
Springer
The problem of image deblurring in the presence of salt and pepper noise is considered. Standard image deconvolution algorithms, that are designed for Gaussian noise, do not perfor...