Sciweavers

152 search results - page 13 / 31
» A formal mathematical framework for modeling probabilistic h...
Sort
View
TMI
2008
154views more  TMI 2008»
13 years 6 months ago
Brain Anatomical Structure Segmentation by Hybrid Discriminative/Generative Models
In this paper, a hybrid discriminative/generative model for brain anatomical structure segmentation is proposed. The learning aspect of the approach is emphasized. In the discrimin...
Zhuowen Tu, Katherine Narr, Piotr Dollár, I...
WS
2006
ACM
14 years 20 days ago
Modeling Ad-hoc rushing attack in a negligibility-based security framework
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
Jiejun Kong, Xiaoyan Hong, Mario Gerla
JCSS
2011
154views more  JCSS 2011»
13 years 1 months ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
IJPRAI
2000
83views more  IJPRAI 2000»
13 years 6 months ago
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
Yanping Xiang, Kristian G. Olesen, Finn Verner Jen...
SCP
1998
163views more  SCP 1998»
13 years 6 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat