2477 search results - page 268 / 496 » Approximate extended formulations |
152
Voted
TCS
2008
15 years 4 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
141
Voted
JWSR
2007
15 years 4 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
153
click to vote
CGA
1998
15 years 4 months ago
1998
This paper presents a volumetric representation for the global illumination within a space based on the radiometric quantity irradiance. We call this representation the irradiance...
136
click to vote
ML
2002
ACM
15 years 4 months ago
2002
ACM
Matching Pursuit algorithms learn a function that is a weighted sum of basis functions, by sequentially appending functions to an initially empty basis, to approximate a target fu...
143
click to vote
MOC
2002
15 years 4 months ago
2002
Abstract. In this paper, we provide tight estimates for the divisor class number of hyperelliptic function fields. We extend the existing methods to any hyperelliptic function fiel...