Sciweavers

2880 search results - page 471 / 576
» Types are calling conventions
Sort
View
AGI
2011
14 years 10 months ago
Coherence Progress: A Measure of Interestingness Based on Fixed Compressors
The ability to identify novel patterns in observations is an essential aspect of intelligence. In a computational framework, the notion of a pattern can be formalized as a program ...
Tom Schaul, Leo Pape, Tobias Glasmachers, Vincent ...
AIPS
2011
14 years 10 months ago
Heuristic Search for Generalized Stochastic Shortest Path MDPs
Research in efficient methods for solving infinite-horizon MDPs has so far concentrated primarily on discounted MDPs and the more general stochastic shortest path problems (SSPs...
Andrey Kolobov, Mausam, Daniel S. Weld, Hector Gef...
CG
2011
Springer
14 years 10 months ago
IA*: An adjacency-based representation for non-manifold simplicial shapes in arbitrary dimensions
We propose a compact, dimension-independent data structure for manifold, non-manifold and non-regular simplicial complexes, that we call the Generalized Indexed Data structure wit...
David Canino, Leila De Floriani, Kenneth Weiss
CHI
2011
ACM
14 years 10 months ago
Magic desk: bringing multi-touch surfaces into desktop work
Despite the prominence of multi-touch technologies, there has been little work investigating its integration into the desktop environment. Bringing multi-touch into desktop comput...
Xiaojun Bi, Tovi Grossman, Justin Matejka, George ...
COMPGEOM
2011
ACM
14 years 10 months ago
Metric graph reconstruction from noisy data
Many real-world data sets can be viewed of as noisy samples of special types of metric spaces called metric graphs [16]. Building on the notions of correspondence and GromovHausdo...
Mridul Aanjaneya, Frédéric Chazal, D...