20511 search results - page 59 / 4103 » On the level |
121
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
85
Voted
AGI
2008
15 years 2 months ago
2008
Abstract. Do simple animals, even single-celled animals, display general intelligence? If we take this to mean that they can cope with their environment, even when it is dynamic, t...
98
Voted
RECOSOC
2007
15 years 2 months ago
2007
—Self-adaptive systems have the ability to adapt themselves to mutating external or internal conditions without requesting any intervention of the user; the security of such syst...
102
Voted
BMVC
2000
15 years 2 months ago
2000
Automatic Target Recognition (ATR) is a demanding application that requires separation of targets from a noisy background in a sequence of images. In our previous work [5] the bac...
93
Voted
ECIS
2000
15 years 2 months ago
2000
Increasingly we wish to ask and research questions about the adoption of interorganizational systems and electronic commerce at the industry level but are hampered by the lack of a...