1753 search results - page 110 / 351 » State Machines |
162
click to vote
AAAI
2012
13 years 6 months ago
2012
We propose to model relative attributes1 that capture the relationships between images and objects in terms of human-nameable visual properties. For example, the models can captur...
126
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
135
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Many distributed systems may be limited in their performance by the number of transactions they are able to support per unit of time. In order to achieve fault tolerance and to...
119
click to vote
AICCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents an encoding algorithm that is very efficient for many different logic synthesis problems. The algorithm is based on the use of special tables and includes two ...
123
click to vote
ASM
2004
ASM
15 years 9 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...