1941 search results - page 219 / 389 » Reasoning about Computations Using Two-Levels of Logic |
135
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
This paper investigates the role of existing "probabilistic" schemes to reason about various everyday situations on the basis of data from multiple heterogeneous physical...
138
click to vote
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
136
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
140
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Over the years reconfigurable computing devices such as FPGAs have evolved from gate-level glue logic to complex reprogrammable processing architectures. However, the tools used f...
124
click to vote
TPHOL
2007
IEEE
15 years 10 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...