44 search results - page 4 / 9 » Generic uniform observability analysis for bilinear systems |
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
EWHCI
1993
15 years 1 months ago
1993
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing service...
102
click to vote
IFIPTCS
2010
14 years 7 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Jamming attacks have become prevalent during the last few years, due to the shared nature and the open access to the wireless medium. Finding the location of a jamming device is...