77016 search results - page 697 / 15404 » Modelling |
182
click to vote
GD
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We propose an algorithm for the 3D visualization of general ontology models used in many applications, such as semantic web, entity-relationship diagrams and other databa...
180
click to vote
GRID
2004
Springer
16 years 24 days ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
144
click to vote
ICCS
2004
Springer
16 years 24 days ago
2004
Springer
In this paper we develop a dynamic stochastic programming model for bond portfolio management. A new risk measurement-shortfall cost is put forward. It allows more tangible express...
216
click to vote
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
203
click to vote
ICIAR
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We present a method for automatic segmentation of grey-scale images, based on a recently introduced deformable model, the charged-particle model (CPM). The model is inspi...