4245 search results - page 409 / 849 » Input Modeling |
153
click to vote
PATMOS
2004
Springer
16 years 8 days ago
2004
Springer
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...
207
click to vote
IEEEICCI
2002
IEEE
15 years 12 months ago
2002
IEEE
We present a model of creating a hierarchical set of rules that encode generalizations and exceptions derived from induction learning. The rules use the input features directly an...
175
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
209
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
166
click to vote
FSE
2001
Springer
15 years 11 months ago
2001
Springer
We show two methods of distinguishing the LEVIATHAN stream cipher from a random stream using 236 bytes of output and proportional effort; both arise from compression within the ci...