Sciweavers

4987 search results - page 331 / 998
» Fuzzifying P Systems
Sort
View
ISCAS
2002
IEEE
85views Hardware» more  ISCAS 2002»
15 years 9 months ago
The Cauchy-Floquet factorization by successive Riccati transformations
Scalar linear time-varying systems are addressed. In particular, a new factorization method for the associated scalar polynomial system differential operator is presented. It diff...
P. van der Kloet, F. L. Neerhoff
DAC
1990
ACM
15 years 9 months ago
Timing Verification Using HDTV
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
Alan R. Martello, Steven P. Levitan, Donald M. Chi...
COMPGEOM
2009
ACM
15 years 11 months ago
On the set multi-cover problem in geometric settings
We consider the set multi-cover problem in geometric settings. Given a set of points P and a collection of geometric shapes (or sets) F, we wish to nd a minimum cardinality subse...
Chandra Chekuri, Kenneth L. Clarkson, Sariel Har-P...
RELMICS
2005
Springer
15 years 10 months ago
Relational Correspondences for Lattices with Operators
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...
Jouni Järvinen, Ewa Orlowska
150
Voted
MMB
2004
Springer
149views Communications» more  MMB 2004»
15 years 10 months ago
Relating Query Popularity and File Replication in the Gnutella Peer-to-Peer Network
In this paper, we characterize the user behavior in a peer-to-peer (P2P) file sharing network. Our characterization is based on the results of an extensive passive measurement stu...
Alexander Klemm, Christoph Lindemann, Oliver P. Wa...