2474 search results - page 184 / 495 » Kitchen of the Future and Applications |
185
click to vote
FAC
2006
15 years 6 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
195
click to vote
ALIFE
2002
15 years 6 months ago
2002
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...
208
click to vote
VIROLOGY
2010
15 years 5 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
296
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...
166
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Model learning and tracking are two important topics in computer vision. While there are many applications where one of them is used to support the other, there are currently only...