913 search results - page 23 / 183 » Full Abstraction for Linda |
154
Voted
ICCV
2003
IEEE
16 years 8 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...
149
click to vote
ICPPW
2006
IEEE
16 years 3 days 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...
177
click to vote
MABS
2004
Springer
15 years 11 months 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...
171
Voted
DAC
1996
ACM
15 years 10 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...
154
click to vote
ECAL
2007
Springer
15 years 10 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...