Sciweavers

1804 search results - page 39 / 361
» On set systems with a threshold property
Sort
View
CADE
2010
Springer
15 years 3 months ago
Automating Security Analysis: Symbolic Equivalence of Constraint Systems
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
Vincent Cheval, Hubert Comon-Lundh, Stéphan...
CLEF
2010
Springer
15 years 3 months ago
Patent Classification Experiments with the Linguistic Classification System LCS
In the context of the CLEF-IP 2010 classification task, we conducted a series of experiments with the Linguistic Classification System (LCS). We compared ment representations for p...
Suzan Verberne, Merijn Vogel, Eva D'hondt
GLOBECOM
2010
IEEE
14 years 12 months ago
Are a Few Neighboring Peers Good Enough?
Most peer-assisted media streaming systems have applied a design philosophy that uses a "mesh" topology of peers: each peer connects to a small number of neighboring peer...
Lili Zhong, Jie Dai, Bo Li, Baochun Li, Hai Jin
TFS
2008
112views more  TFS 2008»
15 years 1 months ago
Gradual Numbers and Their Application to Fuzzy Interval Analysis
Abstract-- We introduce a new way of looking at fuzzy intervals. Instead of considering them as fuzzy sets, we see them as crisp sets of entities we call gradual (real) numbers. Th...
Jérôme Fortin, Didier Dubois, H&eacut...
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 5 months ago
On global Lyapunov characterization of multi-stable nonlinear systems
—A new type of global stability is introduced and its equivalent Lyapunov characterization is presented. The problem of global stability of the compact set composed by all invari...
Denis V. Efimov