Sciweavers

1450 search results - page 27 / 290
» Complexity of Inference in Graphical Models
Sort
View
STTT
2011
195views more  STTT 2011»
13 years 2 months ago
Parallel probabilistic model checking on general purpose graphics processors
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski,...
VL
2009
IEEE
126views Visual Languages» more  VL 2009»
14 years 2 months ago
A graphical approach for modeling time-dependent behavior of DSLs
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
José Eduardo Rivera, Francisco Durán...
CG
2004
Springer
13 years 7 months ago
A stratification approach for modeling two-dimensional cell complexes
This work presents a stratification approach for modeling two-dimensional cell complexes. It introduces the concept of combinatorial stratification and uses the Handlebody theory ...
Sinésio Pesco, Geovan Tavares, Hélio...
3DIM
1997
IEEE
13 years 12 months ago
A System for Semi-Automatic Modeling of Complex Environments
We present a perception system, called Artisan, that semi-automatically builds 3-D models of a robot’s workspace. Range images are acquired with a scanning laser rangefinder an...
Andrew Edie Johnson, Regis Hoffman, Jim Osborn, Ma...
SIBGRAPI
2008
IEEE
14 years 2 months ago
Bayesian Estimation of Hyperparameters in MRI through the Maximum Evidence Method
Bayesian inference methods are commonly applied to the classification of brain Magnetic Resonance images (MRI). We use the Maximum Evidence (ME) approach to estimate the most prob...
Damian E. Oliva, Roberto A. Isoardi, Germán...