29143 search results - page 165 / 5829 » A Sortation System Model |
98
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
A conditional model is introduced for triggering understanding actions that correct errors of frame hypothesization and composition. Experimental evidence is provided using the Fr...
70
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
127
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
194
click to vote
ASIASIM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Information security is a crucial technique for an organization to survive in these days. However, there is no integrated model to assess the security risk quantitatively...
140
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...