1036 search results - page 102 / 208 » Natural Narrowing for General Term Rewriting Systems |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
The combined efforts of human volunteers have recently extracted numerous facts from Wikipedia, storing them as machine-harvestable object-attribute-value triples in Wikipedia inf...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Fully automated trading, such as e-procurement, using the Internet is virtually unheard of today. Three core technologies are needed to fully automate the trading process: data mi...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
A technical infrastructure for storing, querying and managing RDF data is a key element in the current semantic web development. Systems like Jena, Sesame or the ICS-FORTH RDF Sui...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...