1670 search results - page 309 / 334 » On Skolemization in constructive theories |
143
click to vote
GECCO
2009
Springer
16 years 23 days ago
2009
Springer
A recent theoretical investigation of modular representations shows that certain modularizations can introduce a distance bias into a landscape. This was a static analysis, and em...
154
click to vote
OOPSLA
2009
Springer
16 years 22 days ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
146
click to vote
COMPGEOM
2009
ACM
16 years 21 days 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...
200
click to vote
SIGMETRICS
2009
ACM
16 years 21 days ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
166
click to vote
CDC
2008
IEEE
16 years 20 days ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...