4397 search results - page 546 / 880 » Relational Algebra Operations |
139
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
192
click to vote
CMG
2008
15 years 5 months ago
2008
One of the challenges in building analytic performance models such as queuing network models is obtaining service demands for the various workloads and various devices. While some...
143
click to vote
LREC
2010
15 years 5 months ago
2010
In this paper we report the first results of an annotation exercise of argument coercion phenomena performed on Italian texts. Our corpus consists of ca 4000 sentences from the PA...
104
click to vote
IADIS
2004
15 years 5 months ago
2004
Non-business EC is a relatively new research niche in the general e-commerce stream. It denotes the use of e-commerce by non-business institutions such as academic institutions (a...
120
click to vote
IOPADS
1997
15 years 5 months ago
1997
As high-speed networks make it easier to use distributed resources, it becomes increasingly common that applications and their data are not colocated. Users have traditionally add...