11160 search results - page 1818 / 2232 » Incompleteness in a General Setting |
185
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
164
click to vote
COMPGEOM
2009
ACM
16 years 1 months ago
2009
ACM
Nonlinear dimensionality reduction (NLDR) algorithms such as Isomap, LLE and Laplacian Eigenmaps address the problem of representing high-dimensional nonlinear data in terms of lo...
182
click to vote
COMPGEOM
2009
ACM
16 years 1 months ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
175
click to vote
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
Networked multiplayer games must support a much wider variety of interactions than single-player games because networked games involve communication and coordination between playe...
192
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...