4211 search results - page 547 / 843 » Types as Abstract Interpretations |
167
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
144
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
Readers interested in the context of an event covered in the news such as the dismissal of a lawsuit can benefit from easily finding out about the overall news situation, the lega...
179
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
181
click to vote
CDC
2008
IEEE
16 years 1 months 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 ...
198
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...