Sciweavers

3119 search results - page 383 / 624
» General Default Logic
Sort
View
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
16 years 1 months ago
Cooperative anchoring in heterogeneous multi-robot systems
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
Kevin LeBlanc, Alessandro Saffiotti
IEEEARES
2008
IEEE
16 years 1 months ago
Application-Oriented Trust in Distributed Computing
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...
Riccardo Scandariato, Yoram Ofek, Paolo Falcarin, ...
LICS
2008
IEEE
16 years 1 months ago
Cut Elimination for Monomial MALL Proof Nets
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
Olivier Laurent, Roberto Maieli
FUZZIEEE
2007
IEEE
16 years 29 days ago
Real-Time Facial Expression Recognition Using a Fuzzy Emotion Model
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...
Natascha Esau, Evgenija Wetzel, Lisa Kleinjohann, ...
FUZZIEEE
2007
IEEE
16 years 29 days ago
Nonlinear Classification by Genetic Algorithm with Signed Fuzzy Measure
—In this paper, we propose a new nonlinear classier based on a generalized Choquet integral with signed fuzzy measures to enhance the classification power by capturing all possib...
Honggang Wang, Hua Fang, Hamid Sharif, Zhenyuan Wa...