Sciweavers

25175 search results - page 142 / 5035
» MPEG-4 systems and applications
Sort
View
ACIIDS
2009
IEEE
159views Database» more  ACIIDS 2009»
15 years 4 months ago
Application to GA-Based Fuzzy Control for Nonlinear Systems with Uncertainty
In this study, we strive to combine the advantages of fuzzy theory, genetic algorithms (GA), H tracking control schemes, smooth control and adaptive laws to design an adaptive fuzz...
Po-Chen Chen, Ken Yeh, Cheng-Wu Chen, Chen-Yuan Ch...
IJISEC
2010
159views more  IJISEC 2010»
15 years 3 months ago
A generalization of Paillier's public-key system with applications to electronic voting
We propose a generalization of Paillier's probabilistic public key system, in which the expansion factor is reduced and which allows to adjust the block length of the scheme e...
Ivan Damgård, Mads Jurik, Jesper Buus Nielse...
NFM
2011
306views Formal Methods» more  NFM 2011»
15 years 1 months ago
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
Rüdiger Ehlers
ATAL
2000
Springer
15 years 11 months ago
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
Steven Shapiro, Yves Lespérance
DATE
2004
IEEE
173views Hardware» more  DATE 2004»
15 years 10 months ago
An Application of Parallel Discrete Event Simulation Algorithms to Mixed Domain System Simulation
We present our system-level co-simulation environment for mixed domain microsystems. The environment provides synchronization and cosimulation between the Chatoyant MOEMS (MicroEl...
D. K. Reed, Steven P. Levitan, J. Boles, Jose A. M...