Sciweavers

846 search results - page 59 / 170
» The Use of Z
Sort
View
ACL
2010
13 years 7 months ago
Optimising Information Presentation for Spoken Dialogue Systems
We present a novel approach to Information Presentation (IP) in Spoken Dialogue Systems (SDS) using a data-driven statistical optimisation framework for content planning and attri...
Verena Rieser, Oliver Lemon, Xingkun Liu
ICB
2007
Springer
196views Biometrics» more  ICB 2007»
14 years 3 months ago
Fusion of Near Infrared Face and Iris Biometrics
In this paper, we present a method for fusing face and iris biometrics using single near infrared (NIR) image. Fusion of NIR face and iris modalities is a natural way of doing mult...
Zhijian Zhang, Rui Wang, Ke Pan, Stan Z. Li, Peire...
CADE
2010
Springer
13 years 10 months ago
MUNCH - Automated Reasoner for Sets and Multisets
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
Ruzica Piskac, Viktor Kuncak
ICMCS
1999
IEEE
105views Multimedia» more  ICMCS 1999»
14 years 1 months ago
Key Independent Watermark Detection
Many types of pseudo-random signals have been used to embed signatures as watermarks, with spread spectrum signal techniques used to recover the signature from the encrypted data....
Ron G. van Schyndel, Andrew Z. Tirkel, Imants D. S...
IWFM
1998
13 years 10 months ago
Towards an Override in Topoi
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
Arthur P. Hughes