Sciweavers

1804 search results - page 106 / 361
» On set systems with a threshold property
Sort
View
AUTOMATICA
2007
152views more  AUTOMATICA 2007»
15 years 6 months ago
Analysis of undercompensation and overcompensation of friction in 1DOF mechanical systems
This paper investigates the effects of undercompensation and overcompensation of friction in PD controlled 1DOF mechanical systems. The friction force that is acting on the mechan...
Devi Putra, Henk Nijmeijer, Nathan van de Wouw
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 4 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
SIGMOD
2006
ACM
114views Database» more  SIGMOD 2006»
16 years 6 months ago
Integrating compression and execution in column-oriented database systems
Column-oriented database system architectures invite a reevaluation of how and when data in databases is compressed. Storing data in a column-oriented fashion greatly increases th...
Daniel J. Abadi, Samuel Madden, Miguel Ferreira
LFCS
2009
Springer
16 years 1 months ago
A Labeled Natural Deduction System for a Fragment of CTL*
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
Andrea Masini, Luca Viganò, Marco Volpe
VTC
2007
IEEE
16 years 28 days ago
Adaptive Conjugate Gradient DFEs for Wideband MIMO Systems Using Galerkin Projections
— Three new adaptive equalization algorithms for wireless systems operating over frequency selective MIMO channels are proposed. The problem of the MIMO DFE design is formulated ...
Vassilis Kekatos, Aris S. Lalos, Kostas Berberidis