11160 search results - page 420 / 2232 » Incompleteness in a General Setting |
219
click to vote
HYBRID
2001
Springer
16 years 5 days ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
180
click to vote
ECML
1993
Springer
15 years 11 months ago
1993
Springer
This paper addresses the problem of classifying observations when features are context-sensitive, specifically when the testing set involves a context that is different from the t...
178
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...
211
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we propose a viewer for huge point-sampled models by combining out-of-core technologies with view-dependent level-of-detail (LOD) control. This viewer is designed o...
217
click to vote
COMPGEOM
1991
ACM
15 years 11 months ago
1991
ACM
Given a set of points in the plane, a crossing family is a collection of line segments, each joining two of the points, such that any two line segments intersect internally. Two s...