2907 search results - page 146 / 582 » Presentations of Structures in Admissible Sets |
129
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
102
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
139
Voted
MKM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
105
Voted
MICCAI
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
121
Voted
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We use a Markov Chain Monte Carlo (MCMC) MML algorithm to learn hybrid Bayesian networks from observational data. Hybrid networks represent local structure, using conditi...