1236 search results - page 140 / 248 » On the Hamkins approximation property |
161
click to vote
SLOGICA
2008
15 years 6 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
149
click to vote
APIN
2005
15 years 6 months ago
2005
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
276
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
Abstract. The paper considers application of stochastic optimization to system of automatic recognition of ischemic stroke area on computed tomography (CT) images. The algorithm of...
136
click to vote
TFS
2008
15 years 6 months ago
2008
The paper investigates a feasibility of fuzzy models application in measurement procedures. It considers the problem of measurement information fusion from different sources, when ...
175
click to vote
TWC
2008
15 years 6 months ago
2008
Carrier frequency synchronization is critical to the quality of signal reception in OFDM systems. This paper presents an approximate maximum-likelihood (ML) carrier frequency offse...