6618 search results - page 1302 / 1324 » Web Search Engines |
POPL
2011
ACM
12 years 11 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
GIS
2010
ACM
13 years 6 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Modern enterprise, web, and multimedia applications are generating unstructured content at unforeseen volumes in the form of documents, texts, and media files. Such content is gen...
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
The problem of automatically extracting the most interesting and relevant keyword phrases in a document has been studied extensively as it is crucial for a number of applications. ...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories. The eduSource project in its holistic approach to building a network of learning object ...