7988 search results - page 1225 / 1598 » A Useful Undecidable Theory |
199
click to vote
CP
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
193
click to vote
ECML
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper we consider latent variable models and introduce a new U-likelihood concept for estimating the distribution over hidden variables. One can derive an estimat...
229
click to vote
ECSQARU
2005
Springer
16 years 12 days ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
198
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
188
click to vote
ESA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...