Sciweavers

1566 search results - page 121 / 314
» Contification Using Dominators
Sort
View
PAA
2002
14 years 9 months ago
Layered Representation of a Video Shot with Mosaicing
: This paper presents a motion segmentation method useful for representing efficiently a video shot as a static mosaic of the background plus sequences of the objects moving in the...
Emanuele Trucco, Francesca Odone, Andrea Fusiello
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
14 years 8 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
KES
2010
Springer
14 years 8 months ago
Evolving takagi sugeno modelling with memory for slow processes
Evolving Takagi Sugeno (eTS) models are optimised for use in applications with high sampling rates. This mode of use produces excellent prediction results very quickly and with lo...
Simon McDonald, Plamen P. Angelov
BICOB
2010
Springer
14 years 8 months ago
Multiple Kernel Learning for Fold Recognition
Fold recognition is a key problem in computational biology that involves classifying protein sharing structural similarities into classes commonly known as "folds". Rece...
Huzefa Rangwala
IPPS
2010
IEEE
14 years 7 months ago
Overlapping computation and communication: Barrier algorithms and ConnectX-2 CORE-Direct capabilities
Abstract--This paper explores the computation and communication overlap capabilities enabled by the new CORE-Direct hardware capabilities introduced in the InfiniBand (IB) Host Cha...
Richard L. Graham, Stephen W. Poole, Pavel Shamis,...