Sciweavers

925 search results - page 106 / 185
» A Solution to the Extended GCD Problem
Sort
View
95
Voted
TPLP
2010
115views more  TPLP 2010»
14 years 11 months ago
Towards closed world reasoning in dynamic open worlds
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
Martin Slota, João Leite
111
Voted
CNL
2009
14 years 10 months ago
Development of a Controlled Natural Language Interface for Semantic MediaWiki
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
Paul R. Smart, Jie Bao, Dave Braines, Nigel R. Sha...
111
Voted
ACCV
2010
Springer
14 years 7 months ago
MRF-Based Background Initialisation for Improved Foreground Detection in Cluttered Surveillance Videos
Abstract. Robust foreground object segmentation via background modelling is a difficult problem in cluttered environments, where obtaining a clear view of the background to model i...
Vikas Reddy, Conrad Sanderson, Andres Sanin, Brian...
NFM
2011
306views Formal Methods» more  NFM 2011»
14 years 7 months ago
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
Rüdiger Ehlers
TSP
2010
14 years 7 months ago
Closed-form MMSE estimation for signal denoising under sparse representation modeling over a unitary dictionary
This paper deals with the Bayesian signal denoising problem, assuming a prior based on a sparse representation modeling over a unitary dictionary. It is well known that the maximum...
Matan Protter, Irad Yavneh, Michael Elad