Sciweavers

6438 search results - page 11 / 1288
» A Parameterised Search System
Sort
View
CSDA
2011
13 years 3 months ago
Mapping electron density in the ionosphere: A principal component MCMC algorithm
The outer layers of the Earth’s atmosphere are known as the ionosphere, a plasma of free electrons and positively charged atomic ions. The electron density of the ionosphere var...
Eman Khorsheed, Merrilee Hurn, Christopher Jenniso...
KESAMSTA
2009
Springer
14 years 3 months ago
An Approximate Model for Bidders in Sequential Automated Auctions
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
Erol Gelenbe, Kumaara Velan
BMVC
2001
13 years 11 months ago
Combining 3D Deformable Models and Level Set Methods for the Segmentation of Abdominal Aortic Aneurysms
In this paper we present a system that combines the benefits of 3D deformable models and level set methods for medical volume segmentation. Our 3D deformable model is a very comp...
Derek R. Magee, Andrew J. Bulpitt, Elizabeth Berry
WSCG
2004
152views more  WSCG 2004»
13 years 10 months ago
Interactive Solid Texturing using Point-based Multiresolution Representations
This paper presents an interactive environment for texturing surfaces of arbitrary 3D objects. By uniquely using solid textures and applying them to the surface, we do not require...
Patrick Reuter, Benjamin Schmitt, Christophe Schli...
ENTCS
2008
79views more  ENTCS 2008»
13 years 8 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci