Sciweavers

7924 search results - page 138 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
ECSQARU
2009
Springer
14 years 28 days ago
Using Transfinite Ordinal Conditional Functions
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...
Sébastien Konieczny
WSC
2008
13 years 11 months ago
Calculating float in linear schedules with singularity functions
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...
Gunnar Lucko, Angel A. Pena Orozco
APAL
2007
63views more  APAL 2007»
13 years 9 months ago
Bounded functional interpretation and feasible analysis
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...
Fernando Ferreira, Paulo Oliva
FTDCS
1997
IEEE
14 years 1 months ago
Toward globally optimal resource management in large-scale real-time distributed computer systems
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
K. H. Kim
ISBI
2002
IEEE
14 years 9 months ago
Parcellation of brain images with anatomical and functional constraints for fMRI data analysis
In this paper we propose a methodology for brain parcellation with anatomical and functional constraints dedicated to fMRI data analysis. The aim is to provide a representation of...
Denis Rivière, Ferath Kherif, Guillaume Fla...