2722 search results - page 231 / 545 » The Model Evolution Calculus |
138
click to vote
VMV
2001
15 years 5 months ago
2001
In this paper we discuss two image-based 3D modeling methods based on a multi-resolution evolution of a volumetric function's levelset. In the former the role of the levelset...
118
click to vote
ADVCS
2010
15 years 4 months ago
2010
Electronic submission to a conference is a process that is known to evolve nonlinearly in time, with a dramatic increase when approaching the deadline. A model has recently been pr...
115
click to vote
IANDC
1998
15 years 3 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
123
click to vote
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
With the advance of E-Commerce over Web-based information, the interoperability of isolated XML repositories and databases over the Internet has drawn an increasing interest recen...
116
click to vote
COLT
2005
Springer
15 years 9 months ago
2005
Springer
We examine a Markovian model for the price evolution of a stock, in which the probability of local upward or downward movement is arbitrarily dependent on the current price itself...