1670 search results - page 135 / 334 » On Skolemization in constructive theories |
149
click to vote
MFCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Effective fractal dimension was defined by Lutz (2003) in order to quantitatively analyze the structure of complexity classes. Interesting connections of effective dim...
167
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...
165
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
162
click to vote
MHCI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
180
click to vote
COMPGEOM
2003
ACM
15 years 11 months ago
2003
ACM
We define the Morse-Smale complex of a Morse function over a 3-manifold as the overlay of the descending and ascending manifolds of all critical points. In the generic case, its ...