Sciweavers

906 search results - page 129 / 182
» Chain Dominated Orders
Sort
View
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
14 years 10 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
TCBB
2010
80views more  TCBB 2010»
14 years 10 months ago
On the Importance of Comprehensible Classification Models for Protein Function Prediction
—The literature on protein function prediction is currently dominated by works aimed at maximizing predictive accuracy, ignoring the important issues of validation and interpreta...
Alex Alves Freitas, Daniela Wieser, Rolf Apweiler
AMDO
2010
Springer
14 years 10 months ago
Compatible Particles for Part-Based Tracking
Particle Filter methods are one of the dominant tracking paradigms due to its ability to handle non-gaussian processes, multimodality and temporal consistency. Traditionally, the e...
Brais Martínez, Marc Vivet, Xavier Binefa
BMVC
2010
14 years 10 months ago
Classifying Textile Designs using Region Graphs
Markov random field pixel labelling is often used to obtain image segmentations in which each segment or region is labelled according to its attributes such as colour or texture. ...
Wei Jia, Stephen J. McKenna, Annette A. Ward, Keit...
ICPR
2010
IEEE
14 years 9 months ago
Improving SIFT-based Descriptors Stability to Rotations
Image descriptors are widely adopted structures to match image features. SIFT-based descriptors are collections of gradient orientation histograms computed on different feature re...
Fabio Bellavia, Domenico Tegolo, Emanuele Trucco