Sciweavers

7840 search results - page 532 / 1568
» On generalized Ramsey numbers
Sort
View
SIGIR
1999
ACM
15 years 11 months ago
Probabilistic Latent Semantic Indexing
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
Thomas Hofmann
ICCAD
1999
IEEE
98views Hardware» more  ICCAD 1999»
15 years 11 months ago
Buffer block planning for interconnect-driven floorplanning
This paper studies buffer block planning for interconnect-driven floorplanning in deep submicron designs. We first introduce the concept of feasible region (FR) for buffer inserti...
Jason Cong, Tianming Kong, David Zhigang Pan
ICRA
1999
IEEE
201views Robotics» more  ICRA 1999»
15 years 11 months ago
ARMAR: An Anthropomorphic Arm for Humanoid Service Robot
Service robots which should perform human-like operation will penetrate into a great number of applications in the future. Requirements for this is high flexibility, autonomy and ...
Karsten Berns, Tamim Asfour, Rüdiger Dillmann
ISMVL
1999
IEEE
90views Hardware» more  ISMVL 1999»
15 years 11 months ago
Transformations between Signed and Classical Clause Logic
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...
EUROCRYPT
1999
Springer
15 years 11 months ago
S-boxes with Controllable Nonlinearity
Abstract. In this paper, we give some relationship between the nonlinearity of rational functions over F2n and the number of points of associated hyperelliptic curve. Using this, w...
Jung Hee Cheon, Seongtaek Chee, Choonsik Park