998 search results - page 3 / 200 » From Feasible Proofs to Feasible Computations |
ICCV
2007
IEEE
14 years 7 months ago
2007
IEEE
This paper investigates the feasibility of using diffusion MRI to measure axon-cell dimensions in the white matter of live subjects. A simple geometric model of white-matter tissu...
ICPR
2008
IEEE
13 years 12 months ago
2008
IEEE
Semantic event recognition based only on vision cues has had limited success on unconstrained still pictures. Metadata related to picture taking provides contextual cues independe...
ICPADS
2006
IEEE
13 years 11 months ago
2006
IEEE
The emerging cyberinfrastructure holds the promise to provide on-demand access to high performance network resources, computing resources, and data storage/retrieval resources fro...
CCS
2009
ACM
14 years 6 months ago
2009
ACM
The man-in-the-middle (MITM) attack has been shown to be one of the most serious threats to the security and trust of existing VoIP protocols and systems. For example, the MITM wh...
CIE
2007
Springer
13 years 11 months ago
2007
Springer
This paper introduces two complexity-theoretic formulations of Bennett’s computational depth: finite-state depth and polynomial-time depth. It is shown that for both formulation...