7623 search results - page 993 / 1525 » Constructive Volume Modeling |
173
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We focus on credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. We replace the notion of strong independence commonly used in credal ne...
178
click to vote
ECEASST
2008
15 years 7 months ago
2008
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...
178
click to vote
FUIN
2008
15 years 7 months ago
2008
Spiking neural P systems simulate the behavior of neurons sending signals through axons. Recently, some applications concerning Boolean circuits and sorting algorithms have been pr...
177
click to vote
CII
2006
15 years 7 months ago
2006
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
193
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...