7167 search results - page 876 / 1434 » Answer Set Programming |
113
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
An in-depth investigation of C preprocessor usage for portability and configuration management is presented. Three heavily-ported and widely used C++ libraries are examined. A cor...
119
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
145
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...
134
click to vote
IBPRIA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. By applying recent results in optimization transfer, a new algorithm for kernel Fisher Discriminant Analysis is provided that makes use of a non-smooth penalty on the coe...
148
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...