2338 search results - page 73 / 468 » Separation in Theory - Coordination in Practice |
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
EUSFLAT
2007
14 years 11 months ago
2007
In spite of its successes as a tool in the field of engineering, fuzzy set theory has yet to achieve the universal footing that probability theory has across the various fields ...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
In this paper, an educational software aimed to help learning Information Theory basics in a practical way is reported. The software, called IT-tutor-UV, can produce entropy analy...
171
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
NIPS
2007
14 years 11 months ago
2007
In transfer learning we aim to solve new problems using fewer examples using information gained from solving related problems. Transfer learning has been successful in practice, a...