Sciweavers

2670 search results - page 157 / 534
» Modeling systems with internal state using evolino
Sort
View
HASE
1999
IEEE
15 years 10 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
16 years 29 days ago
Model reduction for a class of input-quantized systems in the max-plus algebra
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...
Whitney Weyerman, Sean Warnick
CVPR
2007
IEEE
16 years 8 months ago
Epitomic Representation of Human Activities
We introduce an epitomic representation for modeling human activities in video sequences. A video sequence is divided into segments within which the dynamics of objects is assumed...
Naresh P. Cuntoor, Rama Chellappa
ACL
2012
13 years 9 months ago
Learning to "Read Between the Lines" using Bayesian Logic Programs
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires â€...
Sindhu Raghavan, Raymond J. Mooney, Hyeonseo Ku
HYBRID
1995
Springer
15 years 10 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste