1263 search results - page 200 / 253 » Packaging Mathematical Structures |
164
click to vote
PPDP
2009
Springer
16 years 16 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
164
click to vote
SEMWEB
2009
Springer
16 years 16 days ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
156
click to vote
COMPGEOM
2009
ACM
16 years 15 days ago
2009
ACM
We describe the first algorithms to compute minimum cuts in surface-embedded graphs in near-linear time. Given an undirected graph embedded on an orientable surface of genus g, w...
149
click to vote
CVPR
2008
IEEE
16 years 14 days ago
2008
IEEE
Two-tone (“Mooney”) images seem to arouse vivid 3D percept of faces, both familiar and unfamiliar, despite their seemingly poor content. Recent psychological and fMRI studies ...
169
click to vote
ICRA
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract— Self-assembly is a process through which an organized structure can spontaneously form from simple parts. Taking inspiration from biological examples of self-assembly, ...