295 search results - page 29 / 59 » Reasoning about Cardinal Directions |
142
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
118
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
131
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplif...
126
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
129
Voted
CPAIOR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recently, new cost-based filtering algorithms for shorter-path constraints have been developed. However, so far only the theoretical properties of shorter-path constrain...