4302 search results - page 515 / 861 » Ambiguity as a resource for design |
179
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents the implementation of a low-power and implantable neuroprocessor on low-cost nano-FPGA for data reduction and on-the-fly spike sorting in Brain Machine Interfa...
174
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
The ongoing rise of human computation as a means of solving computational problems has created an environment where human workers are often regarded as nameless, faceless computat...
288
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
174
click to vote
AQUILEIA
2011
14 years 6 months ago
2011
Basic ideas are presented of a multi-national research project to share data about the Roman city of Aquileia employing the Information and Communication Technologies (ICT). A Cons...
280
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Freshness and accuracy are two key measures of quality of service (QoS) in location-based, mobile continual queries (CQs). However, it is often difficult to provide both fresh and ...