1743 search results - page 90 / 349 » Generalized Modal Satisfiability |
79
Voted
WEBI
2001
Springer
15 years 5 months ago
2001
Springer
We focus on well-behaved Adaptive Hypermedia Systems, which means the adaptation engine that executes adaptation rules always terminates and produces predictable (confluent) adapta...
93
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
CORR
2008
Springer
15 years 24 days ago
2008
Springer
11 A classical theorem by Ritt states that all the complete decomposition chains of a univariate polynomial satisfying a certain tameness condition have the same length. In this p...
62
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
The problem of joint universal source coding and modeling, addressed by Rissanen in the context of lossless codes, is generalized to fixed-rate lossy coding of continuousalphabet m...
87
Voted
EOR
2006
15 years 22 days ago
2006
This paper studies the duality gap in the simple plant location problem, and presents general formulas for the gap when certain complementary slackness conditions are satisfied. W...