Sciweavers

2813 search results - page 523 / 563
» Formalizing Architectural Connection
Sort
View
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 2 months ago
Network Inference from Co-Occurrences
The study of networked systems is an emerging field, impacting almost every area of engineering and science, including the important domains of communication systems, biology, soc...
Michael Rabbat, Mário A. T. Figueiredo, Rob...
IJAR
2008
83views more  IJAR 2008»
15 years 2 months ago
Decision-theoretic specification of credal networks: A unified language for uncertain modeling with sets of Bayesian networks
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
Alessandro Antonucci, Marco Zaffalon
ENTCS
2006
146views more  ENTCS 2006»
15 years 2 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
BIOINFORMATICS
2005
93views more  BIOINFORMATICS 2005»
15 years 1 months ago
Donuts, scratches and blanks: robust model-based segmentation of microarray images
Inner holes, artifacts and blank spots are common in microarray images, but current image analysis methods do not pay them enough attention. We propose a new robust model-based me...
Qunhua Li, Chris Fraley, Roger Eugene Bumgarner, K...
119
Voted
TVCG
2008
124views more  TVCG 2008»
15 years 1 months ago
Effective visualization of complex vascular structures using a non-parametric vessel detection method
The effective visualization of vascular structures is critical for diagnosis, surgical planning as well as treatment evaluation. In recent work, we have developed an algorithm for ...
Alark Joshi, Xiaoning Qian, Donald P. Dione, Ketan...