1675 search results - page 304 / 335 » Some thoughts on teaching programming and programming langua... |
CP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present new techniques for improving backtracking based Quantified Constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variab...
117
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
131
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
As current Voice-over-IP (VoIP) systems encourage a direct communication between the callees they are similar in design to peerto-peer (P2P) approaches. Therefore, we introduce a f...
118
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Robustness, through fault tolerance, is a property often put forward in order to advocate MAS. The question is: What is the first step to be fault tolerant? Obviously the answer i...
147
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...