3384 search results - page 199 / 677 » More Testable Properties |
IJCAI
1989
13 years 11 months ago
1989
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
WCE
2007
13 years 11 months ago
2007
— We propose a novel approach to improve further the quality of recovered images from standard super-resolution reconstruction, using Lewitt’s Kaiser-Bessel window functions (b...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...
ATVA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
ANOR
2010
13 years 10 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...