2373 search results - page 139 / 475 » On the Theory of Structural Subtyping |
154
click to vote
IJCV
2006
15 years 6 months ago
2006
This paper explores various aspects of the image decomposition problem using modern variational techniques. We aim at splitting an original image f into two components u and v, whe...
167
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
178
click to vote
COMPGEOM
2009
ACM
16 years 1 months ago
2009
ACM
Color red and blue the n vertices of a convex polytope P in R3 . Can we compute the convex hull of each color class in o(n log n)? What if we have χ > 2 colors? What if the co...
155
click to vote
ATAL
2007
Springer
2007
Springer
Agent coordination by trade-off between locally diffusion effects and socially structural influences
16 years 23 days ago
There were always two separated methods to make agent coordination: individual-local balance perspective and individualsociety balance perspective. The first method only considere...
179
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
A directed agent implies an agent with high constraints in both recognition and motion. Because of the embodied restrictions, the directed agent perceives a sense of subjective di...