381 search results - page 26 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
100
click to vote
JOLLI
2002
15 years 1 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
143
click to vote
LATIN
2010
Springer
15 years 8 months ago
2010
Springer
Binary relations are an important abstraction arising in a number of data representation problems. Each existing data structure specializes in the few basic operations required by ...
111
click to vote
DEXA
2000
Springer
15 years 5 months ago
2000
Springer
This paper describes a new benchmark for object-relational DBMSs, the Benchmark for Object-Relational Databases (BORD). BORD has been developed to evaluate system performance pecul...
111
click to vote
JANCL
2007
15 years 1 months ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
113
click to vote
TSD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...