13917 search results - page 275 / 2784 » Abstraction of Probabilistic Systems |
194
click to vote
FDL
2005
IEEE
16 years 28 days ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
205
click to vote
IJSI
2008
15 years 7 months ago
2008
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...
185
click to vote
ICALP
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
180
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
189
click to vote
AAECC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present new faster deterministic and probabilistic recombination algorithms to compute the irreducible decomposition of a bivariate polynomial via the classical Hensel...