Sciweavers

1501 search results - page 39 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
CPAIOR
2004
Springer
15 years 4 months ago
SIMPL: A System for Integrating Optimization Techniques
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
Ionut D. Aron, John N. Hooker, Tallys H. Yunes
ICSE
2001
IEEE-ACM
15 years 3 months ago
State, Event, Time and Diagram in System Modeling
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
Jin Song Dong
EUROMICRO
1998
IEEE
15 years 3 months ago
System Level Modelling for Hardware/Software Systems
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
Jeroen Voeten, P. H. A. van der Putten, Marc Geile...
ENTCS
2010
133views more  ENTCS 2010»
14 years 11 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
AIPR
2001
IEEE
15 years 3 months ago
Towards Robust Face Recognition from Video
A novel, template-based method for face recognition is presented. The goals of the proposed method are to integrate multiple observations for improved robustness and to provide au...
Jeffery R. Price, Timothy F. Gee