959 search results - page 126 / 192 » Transfers between Logics and their Applications |
214
click to vote
CHI
2010
ACM
15 years 2 months ago
2010
ACM
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
140
click to vote
JMLR
2010
15 years 29 days ago
2010
Brain-computer interfaces (BCIs) are limited in their applicability in everyday settings by the current necessity to record subjectspecific calibration data prior to actual use of...
262
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Repeated elements are ubiquitous and abundant in both manmade and natural scenes. Editing such images while preserving the repetitions and their relations is nontrivial due to over...
227
click to vote
HOST
2011
IEEE
14 years 5 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
174
click to vote
FPGA
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes an application in high-performance signal processing using reconfigurable computing engines: a 250 MHz cross-correlator for radio astronomy. Experimental resu...