152 search results - page 25 / 31 » Co-operative ICT-supported learning. A practical approach to... |
FLAIRS
2007
13 years 10 months ago
2007
This paper explores an inferential system for recognizing visual patterns. The system is inspired by a recent memoryprediction theory and models the high-level architecture of the...
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
Micro-task platforms provide massively parallel, ondemand labor. However, it can be difficult to reliably achieve high-quality work because online workers may behave irresponsibly...
GIS
2010
ACM
13 years 6 months ago
2010
ACM
Bare Earth gridded digital elevation models (DEMs) are often used to extract hydrologic features such as rivers and watersheds. DEMs must be conditioned by removing spurious sinks...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, we present a framework for the design of steganographic schemes that can provide provable security by achieving zero Kullback-Leibler divergence between the cover a...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...