Sciweavers

186 search results - page 13 / 38
» kais 2010
Sort
View
ENTCS
2000
80views more  ENTCS 2000»
13 years 8 months ago
Behavioral and Coinductive Rewriting
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
Joseph A. Goguen, Kai Lin, Grigore Rosu
CMS
1996
167views Communications» more  CMS 1996»
13 years 10 months ago
Anonymous Mobility Management for Third Generation Mobile Networks
With the increasing use of mobile and nomadic communication devices requirements for security and privacy are rising as well. Following brief surveys of existing approaches to mob...
Simon Hoff, Kai Jakobs, Dogan Kesdogan
SIGDIAL
2010
13 years 6 months ago
Parameter estimation for agenda-based user simulation
This paper presents an agenda-based user simulator which has been extended to be trainable on real data with the aim of more closely modelling the complex rational behaviour exhib...
Simon Keizer, Milica Gasic, Filip Jurcícek,...
LREC
2010
235views Education» more  LREC 2010»
13 years 10 months ago
A Syntactic Lexicon for Arabic Verbs
In this paper, we present a modeling of the syntactic lexicon for Arabic verbs based on the Lexical Markup Framework. This ISO standard let us describe the lexical information in ...
Noureddine Loukil, Kais Haddar, Abdelmajid Ben Ham...
SMI
2010
IEEE
218views Image Analysis» more  SMI 2010»
13 years 6 months ago
A Benchmark for 3D Mesh Watermarking
This paper presents a benchmarking system for the evaluation of robust mesh watermarking methods. The proposed benchmark has three different components: a "standard" mesh...
Kai Wang, Guillaume Lavoué, Florence Denis,...