Sciweavers

6047 search results - page 250 / 1210
» Modeling with Extend
Sort
View
APPML
2006
105views more  APPML 2006»
15 years 7 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
ENTCS
2006
112views more  ENTCS 2006»
15 years 7 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
TIP
2008
125views more  TIP 2008»
15 years 7 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
189
Voted
JSYML
2007
74views more  JSYML 2007»
15 years 7 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 11 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...