Sciweavers

2748 search results - page 254 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
143
Voted
CDC
2008
IEEE
170views Control Systems» more  CDC 2008»
15 years 11 months ago
Modeling and control of the protein synthesis process in eukaryotic cells
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
Nadav S. Bar, Rahmi Lale
CAV
2006
Springer
132views Hardware» more  CAV 2006»
15 years 8 months ago
Symmetry Reduction for Probabilistic Model Checking
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
MSV
2007
15 years 6 months ago
Assessment of ARMAX Structure as a Global Model for Self-Refilling Steam Distillation Essential Oil Extraction System
Abstract - In this paper, an essential oil extraction system with self-refilling system is modeled based on inputoutput data collected from a dedicated acquisition system. The ARMA...
Mohd Hezri Fazalul Rahiman, Mohd Nasir Taib, Yusof...
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 5 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
CVPR
2006
IEEE
16 years 7 months ago
Dynamic Appearance Modeling for Human Tracking
Dynamic appearance is one of the most important cues for tracking and identifying moving people. However, direct modeling spatio-temporal variations of such appearance is often a ...
Hwasup Lim, Octavia I. Camps, Mario Sznaier, Vlad ...