10392 search results - page 1925 / 2079 » Introduction to Computer Science |
118
Voted
ICALP
2009
Springer
16 years 29 days ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
175
click to vote
SIGMOD
2008
ACM
16 years 25 days ago
2008
ACM
In late May, 2008, a group of database researchers, architects, users and pundits met at the Claremont Resort in Berkeley, California to discuss the state of the research field an...
120
click to vote
SIGMOD
2003
ACM
16 years 24 days ago
2003
ACM
Most relational query optimizers make use of information about the costs of accessing tuples and data structures on various storage devices. This information can at times be off b...
123
Voted
PODS
2006
ACM
16 years 24 days ago
2006
ACM
d Abstract] Guizhen Yang Artificial Intelligence Center SRI International Menlo Park, CA 94025, USA Michael Kifer Dept. of Computer Science Stony Brook University Stony Brook, NY 1...
104
click to vote
ICDE
2010
IEEE
16 years 12 days ago
2010
IEEE
The sciences, business confederations, and medicine urgently need infrastructure for sharing data and updates among collaborators' constantly changing, heterogeneous databases...