998 search results - page 123 / 200 » From Feasible Proofs to Feasible Computations |
EUC
2007
Springer
14 years 5 months ago
2007
Springer
Networked embedded systems present unique challenges for system designers composing distributed applications with dyanmic, real-time, and resilience requirements. We consider the ...
CASES
2006
ACM
14 years 5 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
APCSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
Fibonacci Cubes (FCs), together with the enhanced and extended forms, are a family of interconnection topologies formed by diluting links from binary hypercube. While they scale up...
CRV
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper introduces a novel camera mouse driven by 3D model based visual face tracking. While camera becomes standard configuration for personal computer(PC) and computer speed...
ICCV
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a 2D model-based approach to localizing human body in images viewed from arbitrary and unknown angles. The central component is a statistical shape representation of th...