166 search results - page 6 / 34 » Functors Determined by Values on Objects |
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
Fundamental to any graph cut segmentation methods is the assignment of edge weights. The existing solutions typically use gaussian, exponential or rectangular cost functions with ...
DEXA
2008
Springer
13 years 9 months ago
2008
Springer
The query performance for tracing tags depends upon the distribution of tag trajectories in the data space. We examine a more efficient representation of tag trajectories by means ...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: Many of ADAS applications such as pedestrian and vehicle detection are using stereo vision. By computing the well-known disparity the range of objects ahead of the car can be det...
EDM
2010
13 years 9 months ago
2010
In this paper we detail a preliminary model for reasoning about annotating learning objects and intelligently showing annotations to users who will benefit from them. Student inter...