Sciweavers

5752 search results - page 445 / 1151
» Informative Labeling Schemes
Sort
View
IANDC
2010
83views more  IANDC 2010»
15 years 4 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
ICIP
2010
IEEE
15 years 4 months ago
Natural image matting for multiple wide-baseline views
In this paper we present a novel approach to estimate the alpha mattes of a foreground object captured by a widebaseline circular camera rig provided a single key frame trimap. Ba...
Muhammad Sarim, Adrian Hilton, Jean-Yves Guillemau...
173
Voted
SIGDIAL
2010
15 years 4 months ago
Statistical Dialog Management Methodologies for Real Applications
In this paper we present a proposal for the development of dialog systems that, on the one hand, takes into account the benefits of using standards like VoiceXML, whilst on the ot...
David Griol, Zoraida Callejas, Ramón L&oacu...
UTP
2010
15 years 4 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel
EMNLP
2009
15 years 4 months ago
Reverse Engineering of Tree Kernel Feature Spaces
We present a framework to extract the most important features (tree fragments) from a Tree Kernel (TK) space according to their importance in the target kernelbased machine, e.g. ...
Daniele Pighin, Alessandro Moschitti