10715 search results - page 1858 / 2143 » From Tests to Proofs |
208
click to vote
AAAI
2011
14 years 6 months ago
2011
A common approach in machine learning is to use a large amount of labeled data to train a model. Usually this model can then only be used to classify data in the same feature spac...
219
click to vote
CODES
2011
IEEE
14 years 6 months ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
176
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
A three-dimensional (3D) CMOS imager constructed from stacking a pixel array of image sensors, an analog-to-digital converter (ADC) array, and an image signal processor (ISP) arra...
183
click to vote
DCOSS
2011
Springer
14 years 6 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
214
click to vote
DRR
2011
14 years 6 months ago
2011
wking dtsets ville for peer reviewing of pulished doument nlysis methods or distriuting lrge ommonly used doument orpor for enhmrking re ...