Sciweavers

2302 search results - page 226 / 461
» Testing as Abstraction
Sort
View
ASIACRYPT
1999
Springer
15 years 11 months ago
How to Prove That a Committed Number Is Prime
Abstract. The problem of proving a number is of a given arithmetic format with some prime elements, is raised in RSA undeniable signature, group signature and many other cryptograp...
Tri Van Le, Khanh Quoc Nguyen, Vijay Varadharajan
CAIP
1999
Springer
115views Image Analysis» more  CAIP 1999»
15 years 11 months ago
EigenHistograms: Using Low Dimensional Models of Color Distribution for Real Time Object Recognition
Abstract. Distribution of object colors has been used in computer vision for recognition and indexing. Most of the recent approaches to this problem have been focused on de ning op...
Jordi Vitrià, Petia Radeva, Xavier Binefa
ESA
1999
Springer
89views Algorithms» more  ESA 1999»
15 years 11 months ago
On the Informational Asymmetry between Upper and Lower Bounds for Ultrametric Evolutionary Trees
Abstract. This paper addresses the informational asymmetry for constructing an ultrametric evolutionary tree from upper and lower bounds on pairwise distances between n given speci...
Ting Chen, Ming-Yang Kao
ILP
1999
Springer
15 years 11 months ago
Morphosyntactic Tagging of Slovene Using Progol
Abstract. We consider the task of tagging Slovene words with morphosyntactic descriptions (MSDs). MSDs contain not only part-of-speech information but also attributes such as gende...
James Cussens, Saso Dzeroski, Tomaz Erjavec
SAFECOMP
1999
Springer
15 years 11 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...