5600 search results - page 1007 / 1120 » Synthesizing robust systems |
MOBIHOC
2010
ACM
13 years 8 months ago
2010
ACM
We explore the problem of detecting whether a device has moved within a room. Our approach relies on comparing summaries of received signal strength measurements over time, which ...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
ACL
2009
13 years 8 months ago
2009
This paper proposes a forest-based tree sequence to string translation model for syntaxbased statistical machine translation, which automatically learns tree sequence to string tr...
CISC
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
HCI
2009
13 years 8 months ago
2009
Abstract. Although older people are an important user group for smart environments, there has been relatively little work on adapting natural language interfaces to their requireme...