2701 search results - page 99 / 541 » On the form of witness terms |
179
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
160
click to vote
LICS
2008
IEEE
16 years 24 days ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
138
click to vote
RTA
2007
Springer
16 years 16 days ago
2007
Springer
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
146
click to vote
TPHOL
2006
IEEE
16 years 12 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
158
click to vote
IWRIDL
2006
ACM
16 years 11 days ago
2006
ACM
We examine some research issues in pattern recognition and image processing that have been spurred by the needs of digital libraries. Broader – and not only linguistic – conte...