1413 search results - page 57 / 283 » Bisimilarity of Open Terms |
90
Voted
ISRR
2001
Springer
15 years 5 months ago
2001
Springer
In this paper the use of robots as intelligent appliances is discussed. A number of advertised systems are reviewed and their basic characteristics analyzed. Open issues in terms o...
101
Voted
DGO
2007
15 years 2 months ago
2007
This paper outlines the project highlights for the research project, Governing with Information Technologies. Categories and Subject Descriptors K.4.1 [Computers and Society]: Pub...
103
Voted
TREC
2004
15 years 2 months ago
2004
The hypothesis we explored for the Ad Hoc task of the Genomics track for TREC 2004 was that phrase-level queries would increase precision over a baseline of token-level terms. We ...
105
Voted
JSYML
2002
15 years 14 days ago
2002
We consider equational theories for functions defined via recursion involving equations between closed terms with natural rules based on recursive definitions of the function symb...
93
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
C-SPARQL is an extension of SPARQL to support continuous queries over RDF data streams. Supporting streams in RDF format guarantees interoperability and opens up important applica...