Sciweavers

6047 search results - page 250 / 1210
» Modeling with Extend
Sort
View
APPML
2006
105views more  APPML 2006»
15 years 4 months ago
Stability margins for generalized state space systems
In this work we extend results from the literature on H design with pole placement constraints to the case of generalized state space models, for both continuous-time and discrete...
Djilali Bouagada, Paul Van Dooren
148
Voted
ENTCS
2006
112views more  ENTCS 2006»
15 years 4 months ago
Patterns for Timed Property Specifications
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
Volker Gruhn, Ralf Laue
136
Voted
TIP
2008
125views more  TIP 2008»
15 years 4 months ago
Integrating Color and Shape-Texture Features for Adaptive Real-Time Object Tracking
We extend the standard mean-shift tracking algorithm to an adaptive tracker by selecting reliable features from color and shape-texture cues according to their descriptive ability....
Junqiu Wang, Yasushi Yagi
JSYML
2007
74views more  JSYML 2007»
15 years 3 months ago
A power function with a fixed finite gap everywhere
We give an application of the extender based Radin forcing to cardinal arithmetic. Assuming κ is a large enough cardinal we construct a model satisfying 2κ = κ+n together with 2...
Carmi Merimovich
DBPL
1997
Springer
90views Database» more  DBPL 1997»
15 years 8 months ago
Implementing Incremental View Maintenance in Nested Data Models
Previous research on materialized views has primarily been in the context of flat relational databases--materialized views defined in terms of one or more flat relations. This pape...
Akira Kawaguchi, Daniel F. Lieuwen, Inderpal Singh...