3319 search results - page 251 / 664 » Subshifts, Languages and Logic |
189
click to vote
ICDE
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we propose a data model for representing moving objects in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Futur...
180
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
205
click to vote
DAGSTUHL
1997
15 years 8 months ago
1997
In this paper we propose a data model for representing moving objects with uncertain positions in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data mod...
158
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
131
Voted
IGPL
2008
15 years 6 months ago
2008
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...