3552 search results - page 196 / 711 » Proof theory in the abstract |
202
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
163
click to vote
REX
1991
15 years 10 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
194
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. A formula ψ(Y ) is a selector for a formula ϕ(Y ) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula ψ(X, Y )...
154
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
Abstract. An overpartition of an integer n is a partition where the last occurrence of a part can be overlined. We study the weight of the overlined parts of an overpartition count...
141
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Abstract. Multi-criteria decision making is used in many areas of human activities. Each alternative in multi-criteria decision making problem can be described by a set of criteria...