Sciweavers

2801 search results - page 322 / 561
» On the Adequateness of the Connection Method
Sort
View
ICPR
2002
IEEE
15 years 11 months ago
Robust Frontal Face Detection in Complex Environment
We have constructed a simple and fast system to detect frontal human faces in complex environment. There are two main contributions of our work: 1) We use a fast image segmentatio...
Quan Yuan, Wen Gao, Hongxun Yao
ICAISC
2010
Springer
15 years 11 months ago
On the Distributivity of Fuzzy Implications over Continuous Archimedean Triangular Norms
Recently, the distributivity of fuzzy implications over t-norms, t-conorms and uninorms was studied in many articles. In this paper we characterize functions which satisfy one of ...
Michal Baczynski
160
Voted
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 11 months ago
On piecewise quadratic control-Lyapunov functions for switched linear systems
— In this paper, we prove that a discrete-time switched linear system is exponentially stabilizable if and only if there exists a stationary hybrid-control law that consists of a...
Wei Zhang, Alessandro Abate, Michael P. Vitus, Jia...
FPL
2009
Springer
145views Hardware» more  FPL 2009»
15 years 11 months ago
Area estimation and optimisation of FPGA routing fabrics
This paper presents a methodology for estimating and optimising FPGA routing fabrics using high-level modelling and convex optimisation techniques. Experimental methods for explor...
Alastair M. Smith, George A. Constantinides, Peter...
TABLEAUX
2009
Springer
15 years 11 months ago
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
Luis Pinto, Tarmo Uustalu