3820 search results - page 267 / 764 » Bounded Model Debugging |
132
Voted
OPODIS
2007
15 years 5 months ago
2007
In Sensor Networks, the lack of topology information and the availability of only one communication channel has led research work to the use of randomization to deal with collisio...
115
Voted
FLAIRS
2006
15 years 5 months ago
2006
We are exploring the differences between expert and less expert tutors with two goals: cognitive (what does tutoring tell us about learning) and applied (which features of tutorin...
126
Voted
NETWORKS
2010
15 years 2 months ago
2010
This paper considers a minimum cost flow problem where arc costs are uncertain, and the decision maker wishes to minimize both the expected flow cost and the variance of this co...
150
Voted
ECTEL
2010
Springer
15 years 1 months ago
2010
Springer
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
156
click to vote
IEICET
2011
14 years 10 months ago
2011
Abstract. In this paper, we give a security proof for Abreast-DM in terms of collision resistance and preimage resistance. As old as Tandem-DM, the compression function Abreast-DM ...