9485 search results - page 328 / 1897 » Research on Brain-Like Computer |
199
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
193
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In many volume visualization applications there is some region of specific interest where we wish to see fine detail - yet we do not want to lose an impression of the overall pict...
168
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
174
click to vote
BMVC
2010
15 years 4 months ago
2010
Image auto-annotation is a challenging task in computer vision. The goal of this task is to predict multiple words for generic images automatically. Recent state-of-theart methods...
205
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. The purpose of this research is to emphasize on the concept of integrating computer and interactive technologies to the rehabilitation robotic with biofeedback. First, th...