6047 search results - page 316 / 1210 » Modeling with Extend |
231
click to vote
TSP
2011
15 years 2 months ago
2011
Abstract—We introduce an extended family of continuous-domain stochastic models for sparse, piecewise-smooth signals. These are specified as solutions of stochastic differential...
186
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
Topological relationships between spatial objects are an essential property of spatial objects. They are used for spatial analysis and query processing. In this paper, we first i...
255
click to vote
SPIN
2004
Springer
16 years 19 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
207
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
257
click to vote
DSD
2010
IEEE
15 years 5 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...