3856 search results - page 288 / 772 » Models for Automated Earthmoving |
178
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
148
click to vote
CSL
2007
Springer
16 years 27 days ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...
173
click to vote
TARK
2007
Springer
16 years 25 days ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
178
Voted
IEEEICCI
2006
IEEE
16 years 22 days ago
2006
IEEE
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
148
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...