10910 search results - page 407 / 2182 » Input modeling using a computer algebra system |
129
click to vote
CCE
2008
15 years 7 months ago
2008
In this work we develop, demonstrate, and distribute the code for a new Simulink block that models the dynamic evolution of the population density function for a physical system w...
186
click to vote
FMICS
2007
Springer
16 years 1 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
173
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
165
click to vote
ICTAI
1993
IEEE
15 years 11 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
212
click to vote
ICDE
2006
IEEE
16 years 26 days ago
2006
IEEE
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...