2332 search results - page 385 / 467 » AIS and Semantic Query |
225
Voted
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Graphs are widely used for modeling complicated data, including chemical compounds, protein interactions, XML documents, and multimedia. Information retrieval against such data ca...
102
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Many databases have become Web-accessible through form-based search interfaces (i.e., HTML forms) that allow users to specify complex and precise queries to access the underlying ...
109
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Keyword search for smallest lowest common ancestors (SLCAs) in XML data has recently been proposed as a meaningful way to identify interesting data nodes in XML data where their s...
105
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
With the growing use of dynamic web content generated from relational databases, traditional caching solutions for throughput and latency improvements are ineffective. We describe...
220
Voted
PADL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...