778 search results - page 98 / 156 » Expressiveness and complexity of graph logic |
125
click to vote
PODS
2003
ACM
16 years 4 months ago
2003
ACM
A query against a database behind a site like Napster may search, e.g., for all users who have downloaded more jazz titles than pop music titles. In order to express such queries,...
138
Voted
EGC
2005
Springer
15 years 10 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
138
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
158
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
127
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...