4520 search results - page 833 / 904 » Algebraic Techniques for Timed Systems |
121
Voted
ACL
2010
14 years 10 months ago
2010
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...
140
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
169
Voted
BSN
2011
IEEE
14 years 23 days ago
2011
IEEE
—Wireless neural recording systems are subject to stringent power consumption constraints to support long-term recordings and to allow for implantation inside the brain. In this ...
213
Voted
CCS
2011
ACM
14 years 23 days ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...
139
Voted
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...