1743 search results - page 332 / 349 » Generalized Modal Satisfiability |
VISSYM
2004
13 years 11 months ago
2004
This paper presents a simple approach for rendering isosurfaces of a scalar field. Using the vertex programming capability of commodity graphics cards, we transfer the cost of com...
OPODIS
2003
13 years 11 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
AAAI
2000
13 years 11 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
DAGSTUHL
1997
13 years 11 months ago
1997
Abstract. This document1 contains de nitions of a wide range of concepts speci c to and widely used within temporal databases. In addition to providing de nitions, the document als...
MVA
2000
13 years 11 months ago
2000
work, applies a nonlinear transformation from the input space to the hidden space. The output layer Partial face images, e.g.1 eyes, nose, and ear supplies the response of the netw...