5130 search results - page 464 / 1026 » Constraint Query Languages |
165
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We present an O(m + n)-time algorithm that tests if a given directed graph is 2-vertex connected, where m is the number of arcs and n is the number of vertices. Based on this resul...
177
click to vote
TREC
2001
15 years 8 months ago
2001
The University of Maryland Researchers participated in both the Arabic-English Cross Language Information Retrieval (CLIR) and Video tracks of TREC-10. In the CLIR track, our goal...
182
click to vote
NAACL
2003
15 years 8 months ago
2003
This paper describes an effort to rapidly develop language resources and component technology to support searching Cebuano news stories using English queries. Results from the fi...
152
click to vote
DBSEC
2000
15 years 8 months ago
2000
We propose two extensions to the SQL grant/revoke security model. In SQL, grants are unconditional, so the grantor must simply trust the recipient's discretion. We allow a gr...
176
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...