Search Sciweavers | Sciweavers

29172 search results - page 84 / 5835

» Modeling Systems in CLP

click to vote

HAIS
2011
Springer

194views Artificial Intelligence» more HAIS 2011»

Interval Type-2 Fuzzy Modelling and Simulated Annealing for Real-World Inventory Management

13 years 11 days ago

Download www.cci.dmu.ac.uk

The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...

Simon Miller, Mario A. Góngora, Robert John

claim paper

Read More »

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

14 years 3 months ago

Download www.trustsoft.uni-oldenburg.de

André Platzer, Edmund M. Clarke

claim paper

Read More »

click to vote

HYBRID
2004
Springer

94views Control Systems» more HYBRID 2004»

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

14 years 2 months ago

Download www.cs.brandeis.edu

Timothy J. Hickey, David K. Wittenberg

claim paper

Read More »

click to vote

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

14 years 2 months ago

Download www.stanford.edu

Patrick Lincoln, Ashish Tiwari

claim paper

Read More »

click to vote

CDC
2009
IEEE

169views Control Systems» more CDC 2009»

Modeling and control of elementary 2D-Traffic systems using Petri nets and minplus algebra

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers