Sciweavers

2467 search results - page 68 / 494
» Finite State Machines
Sort
View
CORR
2007
Springer
179views Education» more  CORR 2007»
15 years 5 months ago
On the Information Rate of MIMO Systems with Finite Rate Channel State Feedback and Power On/Off Strategy
— This paper quantifies the information rate of multiple-input multiple-output (MIMO) systems with finite rate channel state feedback and power on/off strategy. In power on/off...
Wei Dai, Youjian Liu, Brian Rider, Vincent K. N. L...
RV
2010
Springer
122views Hardware» more  RV 2010»
15 years 3 months ago
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
Eric Bodden, Patrick Lam, Laurie J. Hendren
ICCAD
1994
IEEE
134views Hardware» more  ICCAD 1994»
15 years 9 months ago
Boolean constrained encoding: a new formulation and a case study
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
Ney Laert Vilar Calazans
CVPR
2007
IEEE
16 years 7 months ago
Searching Video for Complex Activities with Finite State Models
We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our approach...
Nazli Ikizler, David A. Forsyth
GECCO
2009
Springer
16 years 3 hour ago
Evolved finite state controller for hybrid system
Jean-François Dupuis, Zhun Fan, Erik D. Goo...