Sciweavers

2508 search results - page 304 / 502
» An analytic approach to stability
Sort
View
EUSFLAT
2009
155views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
A Generalized Numerical Solution for Fuzzy Relation Equations
In this paper, line search based on Sequential Quadratic Programming is implemented in order to find a solution to Fuzzy Relation Equations. Sequential Quadratic Programming is a g...
Iman Mohammadi Ardehali, Milad Avazbeigi
FUIN
2010
83views more  FUIN 2010»
15 years 4 months ago
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
Vince Bárány, Lukasz Kaiser, Alexand...
CG
2011
Springer
15 years 1 months ago
Robust and blind mesh watermarking based on volume moments
This paper presents a robust and blind watermarking algorithm for threedimensional (3D) meshes. The watermarking primitive is an intrinsic 3D shape descriptor: the analytic and co...
Kai Wang, Guillaume Lavoué, Florence Denis,...
CDC
2010
IEEE
158views Control Systems» more  CDC 2010»
15 years 1 months ago
Adaptive-based, scalable design for autonomous multi-robot surveillance
In this paper the problem of positioning a team of mobile robots for a surveillance task in a non-convex environment with obstacles is considered. The robots are equipped with glob...
Alessandro Renzaglia, Lefteris Doitsidis, Agostino...
JCS
2011
126views more  JCS 2011»
15 years 1 months ago
Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey
One of the main challenges in pervasive computing is how we can establish secure communication over an untrusted high-bandwidth network without any initial knowledge or a Public K...
L. H. Nguyen, A. W. Roscoe