12774 search results - page 2481 / 2555 » A Framework for Proof Systems |
159
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Understanding neural connectivity and structures in the brain requires detailed 3D anatomical models, and such an understanding is essential to the study of the nervous system. Ho...
177
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
169
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
176
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
186
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, a new approach for Confocal Microscopy (CM) based on the framework of compressive sensing is developed. In the proposed approach, a point illumination and a random ...