Sciweavers

2337 search results - page 96 / 468
» Is the Open Way a Better Way
Sort
View
IFIP
2005
Springer
14 years 1 months ago
Opacity Generalised to Transition Systems
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
Jeremy Bryans, Maciej Koutny, Laurent Mazaré...
AUSAI
2004
Springer
14 years 1 months ago
An ACO Algorithm for the Most Probable Explanation Problem
We describe an Ant Colony Optimization (ACO) algorithm, ANT-MPE, for the most probable explanation problem in Bayesian network inference. After tuning its parameters settings, we c...
Haipeng Guo, Prashanth R. Boddhireddy, William H. ...
ICSE
1997
IEEE-ACM
13 years 12 months ago
Choosing a Testing Method to Deliver Reliability
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewo...
EDUTAINMENT
2006
Springer
13 years 11 months ago
Mental Vision: A Computer Graphics Teaching Platform
Abstract. We have developed a learning platform to simplify and improve teaching and practice of Computer Graphics for beginners and advanced students. Our goal is to offer a set o...
Achille Peternier, Daniel Thalmann, Fréd&ea...
ICONIP
2008
13 years 9 months ago
Improved Mass Spectrometry Peak Intensity Prediction by Adaptive Feature Weighting
Mass spectrometry (MS) is a key technique for the analysis and identification of proteins. A prediction of spectrum peak intensities from pre computed molecular features would pave...
Alexandra Scherbart, Wiebke Timm, Sebastian Bö...