1992 search results - page 155 / 399 » Memory modeling for system synthesis |
189
click to vote
ATVA
2007
Springer
16 years 6 days ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
143
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
162
click to vote
NOMS
2010
IEEE
15 years 4 months ago
2010
IEEE
—PhoneFactor is a two-factor authentication service that combines the knowledge-based authenticator with an objectbased authenticator in which the object-based authenticator has ...
162
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Kernel associative memory (KAM) has previously been proposed as an efficient scheme for face recognition. In this paper, a hybrid method of combining KAM and Gabor wavelet transfo...
161
Voted
SCHOLARPEDIA
2010
15 years 4 months ago
2010
—Studies of attention and working memory address the fundamental limits in our ability to encode and maintain behaviorally relevant information, processes that are critical for g...