426 search results - page 50 / 86 » Specification, Abduction, and Proof |
ZUM
1991
Springer
14 years 1 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
ICML
2009
IEEE
14 years 10 months ago
2009
IEEE
Sparse coding--that is, modelling data vectors as sparse linear combinations of basis elements--is widely used in machine learning, neuroscience, signal processing, and statistics...
ICML
2008
IEEE
14 years 10 months ago
2008
IEEE
We describe an algorithm for learning in the presence of multiple criteria. Our technique generalizes previous approaches in that it can learn optimal policies for all linear pref...
STACS
2010
Springer
14 years 4 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
ICTAI
2007
IEEE
14 years 4 months ago
2007
IEEE
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...