7921 search results - page 100 / 1585 » LSH-preserving functions and their applications |
ECSQARU
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...
WSC
2008
15 years 6 days ago
2008
This paper presents an exact approach of calculating float for each activity in linear schedules. It is based on singularity functions, which have been used previously to determin...
APAL
2007
14 years 10 months ago
2007
In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation...
JAR
2010
14 years 8 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...