1915 search results - page 212 / 383 » A language for functional interpretation of model based simu... |
203
click to vote
SE
2007
15 years 7 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...
171
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Horizons are visible boundaries between certain sediment layers in seismic data, and a fault is a crack of horizons and it is recognized in seismic data by the discontinuities of ...
190
click to vote
QEST
2006
IEEE
16 years 14 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
172
click to vote
CSDA
2008
15 years 6 months ago
2008
ABSTRACT. This paper introduces a tree-based model that combines aspects of CART (Classification and Regression Trees) and STR (Smooth Transition Regression). The model is called t...
187
click to vote
APIN
1999
15 years 6 months ago
1999
The problem of figure-ground separation is tackled from the perspective of combinatorial optimization. Previous attempts have used deterministic optimization techniques based on re...