Sciweavers

5624 search results - page 575 / 1125
» On Conditional Covering Problem
Sort
View
GECCO
2003
Springer
16 years 9 days ago
Two Broad Classes of Functions for Which a No Free Lunch Result Does Not Hold
We identify classes of functions for which a No Free Lunch result does and does not hold, with particular emphasis on the relationship between No Free Lunch and problem description...
Matthew J. Streeter
STACS
2010
Springer
16 years 6 days ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Angelo Montanari, Pietro Sala, Guido Sciavicco
ACIIDS
2010
IEEE
170views Database» more  ACIIDS 2010»
16 years 5 days ago
Moral Hazard Resolved by Common-Knowledge in S5n Logic
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
Takashi Matsuhisa
MPC
2010
Springer
159views Mathematics» more  MPC 2010»
15 years 12 months ago
Subtyping, Declaratively
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
Nils Anders Danielsson, Thorsten Altenkirch
CDC
2009
IEEE
104views Control Systems» more  CDC 2009»
15 years 11 months ago
Minimization of length and curvature on planar curves
Abstract— In this paper we consider the problem of reconstructing a curve that is partially hidden or corrupted by minimizing the functional R √ 1 + K2 ds, depending both on le...
Ugo V. Boscain, Gregoire Charlot, Francesco Rossi