3229 search results - page 186 / 646 » Theories with the Independence Property |
160
click to vote
ROOM
2000
15 years 7 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
143
click to vote
APAL
2010
15 years 6 months ago
2010
We discover geometric properties of certain definable sets over non-Archimedean valued fields with analytic structures. Results include a parameterized smooth stratification theore...
148
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
We discuss notions of detectability for stochastic linear control systems of Itˆo type. A natural concept of detectability requires a non-zero output, if the state process is uns...
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The problem of guessing a random string is revisited and some prior results on guessing exponents are re-derived using the theory of large deviations. It is shown that if the seque...
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper deals with products of moderate-size primes, familiarly known as smooth numbers. Smooth numbers play an crucial role in information theory, signal processing and crypto...