4814 search results - page 583 / 963 » Combining abstract interpreters |
174
click to vote
ITS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Betty’s Brain is a teachable agent system in the domain of river ecosystems that combines learning by teaching and self-regulation strategies to promote deep learning a...
177
click to vote
LPAR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
149
click to vote
MFCS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We devise an efficient protocol by which a series of twoperson games Gi with unique winning strategies can be combined into a single game G with unique winning strategy, ...
146
click to vote
PAKDD
2004
ACM
16 years 4 days ago
2004
ACM
Abstract. Traditional clustering algorithms are based on one representation space, usually a vector space. However, in a variety of modern applications, multiple representations ex...
214
click to vote
PKC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A group key agreement protocol allows a set of users, communicating over a public network, to agree on a private session key. Most of the schemes proposed so far require ...