1880 search results - page 275 / 376 » A Static Analysis for Beta-Binders |
198
click to vote
ISCI
2008
15 years 6 months ago
2008
The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT styl...
171
click to vote
JCP
2008
15 years 6 months ago
2008
In this paper, a model free uncalibrated visual servoing algorithm based on recursive least squares is proposed and discussed in depth. No robot kinetics or dynamics, camera calibr...
149
click to vote
JSS
2006
15 years 6 months ago
2006
Peer-to-peer Web caching has attracted a great attention from the research community recently, and is one of the potential peer-topeer applications. In this paper, we systematical...
172
click to vote
EOR
2007
15 years 6 months ago
2007
The paper presents the first empirical investigation of the relationship between present value of net revenue from a revolving credit account and times to default and to second pu...
179
click to vote
LISP
2006
15 years 6 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...