Sciweavers

1024 search results - page 143 / 205
» Compositional Methods for Probabilistic Systems
Sort
View
NN
2006
Springer
13 years 7 months ago
Propagation and control of stochastic signals through universal learning networks
The way of propagating and control of stochastic signals through Universal Learning Networks (ULNs) and its applications are proposed. ULNs have been already developed to form a s...
Kotaro Hirasawa, Shingo Mabu, Jinglu Hu
ISDA
2009
IEEE
14 years 2 months ago
MAHATMA: A Genetic Programming-Based Tool for Protein Classification
Proteins can be grouped into families according to some features such as hydrophobicity, composition or structure, aiming to establish common biological functions. This paper pres...
Denise Fukumi Tsunoda, Alex Alves Freitas, Heitor ...
APGV
2004
ACM
131views Visualization» more  APGV 2004»
14 years 1 months ago
Vision-realistic rendering: simulation of the scanned foveal image from wavefront data of human subjects
We introduce the concept of vision-realistic rendering – the computer generation of synthetic images that incorporate the characteristics of a particular individual’s entire o...
Brian A. Barsky
ISOLA
2010
Springer
13 years 6 months ago
Towards a Connector Algebra
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
Marco Autili, Chris Chilton, Paola Inverardi, Mart...
FORTE
2009
13 years 5 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann