6047 search results - page 395 / 1210 » Modeling with Extend |
150
click to vote
JAPLL
2007
15 years 6 months ago
2007
In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the model of names and binding in abst...
168
Voted
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
154
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, we explore the concept of using analytical models to efficiently generate delay change curves (DCCs) that can then be used to characterize the impact of noise on an...
163
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
In this paper, we propose a novel explicit 2D+t cyclic shape model that extends the Point Distribution Model (PDM) to shapes like myocardial contours with cyclic dynamics. We also ...
156
Voted
TIME
2008
IEEE
16 years 16 days ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...