660 search results - page 51 / 132 » Improving AOR method for consistent linear systems |
CAV
2006
Springer
15 years 3 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
110
click to vote
IACR
2011
13 years 11 months ago
2011
KASUMI is a block cipher which consists eight Feistel rounds with a 128-bit key. The confidentiality and integrity of UMTS, GSM and GPRS mobile communications systems depend heavi...
HCI
2007
15 years 1 months ago
2007
This paper presents an ethnographic method for assessing user needs in designing for rural settings. “Serial Hanging Out” consists of short-term participant observation with mu...
AIPR
2001
IEEE
15 years 3 months ago
2001
IEEE
A novel, template-based method for face recognition is presented. The goals of the proposed method are to integrate multiple observations for improved robustness and to provide au...
119
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Optimal rate allocation in a networked control system with highly limited communication resources is instrumental to achieve satisfactory overall performance. In this p...