1286 search results - page 171 / 258 » From System F to Typed Assembly Language |
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
—This paper presents the results of an empirical study of wireless propagation channels for vehicle-to-vehicle communications in street intersections, a scenario especially impor...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
AAAI
1996
13 years 10 months ago
1996
Real world images often contain similar objects but with different rotations, noise, or other visual alterations. Vision systems should be able to recognize objects regardless of ...
JOT
2010
13 years 7 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
IVC
2002
13 years 8 months ago
2002
When attempting to code faces for modeling or recognition, estimates of dimensions are typically obtained from an ensemble. These tend to be significantly sub-optimal. Firstly, en...