2470 search results - page 251 / 494 » Liveness-Preserving Simulation Relations |
189
click to vote
TVLSI
2010
15 years 25 days ago
2010
Abstract--An asynchronous high-speed wave-pipelined bit-serial link for on-chip communication is presented as an alternative to standard bit-parallel links. The link employs the di...
180
click to vote
WSDM
2012
ACM
14 years 1 months ago
2012
ACM
We study the problem of correlating micro-blogging activity with stock-market events, defined as changes in the price and traded volume of stocks. Specifically, we collect messa...
213
Voted
AAAI
2012
13 years 8 months ago
2012
The study of transportability aims to identify conditions under which causal information learned from experiments can be reused in a different environment where only passive obser...
172
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
The perception of feeling cared for has beneficial consequences in education, psychotherapy, and medicine. Results from a longitudinal study of simulated caring by a computer are ...
184
click to vote
MOBIHOC
2006
ACM
16 years 5 months ago
2006
ACM
Location knowledge of nodes in a network is essential for many tasks such as routing, cooperative sensing, or service delivery in ad hoc, mobile, or sensor networks. This paper in...