2152 search results - page 293 / 431 » On Automating the Calculus of Relations |
112
click to vote
SCAM
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
101
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
112
Voted
CIA
2007
Springer
15 years 7 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
CP
2007
Springer
15 years 7 months ago
2007
Springer
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
100
click to vote
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we study a new probability associated with any given belief function b, i.e. the orthogonal projection π[b] of b onto the probability simplex P. We provide an interp...