5639 search results - page 550 / 1128 » Timed Abstract Non-interference |
157
click to vote
PRICAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
157
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper discusses an NP-complete constraint satisfaction problem which appears to share many of the threshold characteristics of SAT but is similar to XOR-SAT and so i...
145
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...
166
click to vote
SCVMA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present a generative model for image sequences, which can be applied to motion segmentation and tracking, and to image sequence compression. The model co...
172
click to vote
SOFSEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Research on processing XML documents gained much activity in recent times. XML query languages are mostly based on XPath expressions, which are used to select parts of XM...