1702 search results - page 101 / 341 » Doomed program points |
195
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
Many unsupervised algorithms for nonlinear dimensionality reduction, such as locally linear embedding (LLE) and Laplacian eigenmaps, are derived from the spectral decompositions o...
127
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. An important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide w...
117
click to vote
TOOLS
2010
IEEE
15 years 10 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
218
click to vote
FPCA
1995
15 years 8 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
126
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...