913 search results - page 23 / 183 » Full Abstraction for Linda |
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...
ICPPW
2006
IEEE
14 years 1 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
MABS
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. A simulation-based tool is described which will be used to investigate how the actors in a transport chain are expected to act when different types of governmental contro...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...
ECAL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. An important goal in cognitive development research is an understanding of the real-world physical and social environment in which learning takes place. However, the rele...