Sciweavers

4190 search results - page 466 / 838
» Type Class Directives
Sort
View
AUTOMATICA
2008
88views more  AUTOMATICA 2008»
15 years 7 months ago
Control design with guaranteed ultimate bound for perturbed systems
We present a new control design method for perturbed multiple-input systems, which guarantees any desired componentwise ultimate bound on the system state. The method involves eig...
Ernesto Kofman, María M. Seron, Hernan Haim...
COGSCI
2010
160views more  COGSCI 2010»
15 years 7 months ago
Comprehension of Simple Quantifiers: Empirical Evaluation of a Computational Model
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
Jakub Szymanik, Marcin Zajenkowski
COMCOM
2008
244views more  COMCOM 2008»
15 years 7 months ago
Energy analysis of routing protocols for underwater wireless sensor networks
Underwater wireless sensor networks consist of a certain number of sensors and vehicles that interact to collect data and perform collaborative tasks. Designing energy-efficient r...
Mari Carmen Domingo, Rui Prior
CONSTRAINTS
2008
132views more  CONSTRAINTS 2008»
15 years 7 months ago
Essence : A constraint language for specifying combinatorial problems
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
Alan M. Frisch, Warwick Harvey, Christopher Jeffer...
AUTOMATICA
2006
94views more  AUTOMATICA 2006»
15 years 7 months ago
Subspace identification for FDI in systems with non-uniformly sampled multirate data
This paper proposes a novel subspace approach towards direct identification of a residual model for fault detection and isolation (FDI) in a system with non-uniformly sampled mult...
Weihua Li, Zhengang Han, Sirish L. Shah