In this case study, we compare two methods for filtering external motion in time dependent volume data sets acquired from confocal microscopy. The pros and cons of a landmark bas...
In this note we present and discuss results of experiments comparing the performance of six neural network architectures (back propagation, recurrent network with dampened feedbac...
Marcin Paprzycki, Rick Niess, Jason Thomas, Lenny ...
Innovative teaching methods such as collaborative learning, teamwork and mind maps were introduced to a Statistics course at tertiary level and compared to traditional teaching me...
Renette J. Blignaut, Isabella M. Venter, Deon Stol...
Concerning different approaches to automatic PoS tagging: EngCG-2, a constraintbased morphological tagger, is compared in a double-blind test with a state-of-the-art statistical t...
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewia...