10061 search results - page 1783 / 2013 » Statistical Models of Conditioning |
122
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
: Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students’ learning of geometry theorem proving with construction. I...
124
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
116
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
We study, in the context of object/relational mapping tools, the problem of describing mappings between inheritance hierarchies and relational schemas. To this end, we introduce a ...
132
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We present a game-theoretic model of the interactions between server and clients in a constrained family of commercial P2P computations (where clients are financially compensated...
149
click to vote
CIS
2005
Springer
15 years 9 months ago
2005
Springer
Restrictive blind signatures allow a recipient to receive a blind signature on a message not known to the signer but the choice of message is restricted and must conform to certain...