3690 search results - page 262 / 738 » Computation with classical sequents |
110
Voted
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a special place. QC offers not only extremely small size and low power, but also expon...
99
Voted
IUI
2009
ACM
15 years 10 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
94
Voted
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
Abstract—Existing solutions for building wireless mesh networks suffer from reduced efficiency. This is due to lack of reliable self-configuration procedures that can dynamical...
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we study the problem of recognizing an unknown probability density function from one of its sample which is of interest in signal and image processing or telecommun...
ISDA
2009
IEEE
15 years 7 months ago
2009
IEEE
—Road Sign Detection is a major goal of Advanced Driving Assistance Systems (ADAS). Since the dawn of this discipline, much work based on different techniques has been published ...